##// END OF EJS Templates
- Manage User’s Groups: create, delete, rename, add/remove users inside....
- Manage User’s Groups: create, delete, rename, add/remove users inside. by user group admin. In this case, a user's group can be owned by several people thru an owner user's group. Some refactoring of naming, permission handling logic. - remove some code duplicity as well as inconsistent naming

File last commit:

r3449:95a226b3 beta
r3714:7e3d89d9 beta
Show More
pull_request_comment.html
18 lines | 480 B | text/html | HtmlLexer
part2 of pull-request notification improvements
r2802 ## -*- coding: utf-8 -*-
<%inherit file="main.html"/>
notifications changes...
r3430 ${_('Pull request #%s for repository %s') % (pr_id, pr_target_repo) |n}
##message from user goes here
<p>
${pr_comment_user}: <br/>
${body}
</p>
Fix bold beeing not escaped in emails and make the email form more consistent
r3258 <div>${_('View this comment here')}: ${pr_comment_url}</div>
part2 of pull-request notification improvements
r2802
%if status_change:
codecleaner, fix tabs -> spaces
r3449 %if closing_pr:
<span>${_('Closing pull request with status')} -&gt; ${status_change}</span>
%else:
<span>${_('New status')} -&gt; ${status_change}</span>
%endif
part2 of pull-request notification improvements
r2802 %endif
</p>