##// 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
## -*- coding: utf-8 -*-
<%inherit file="main.html"/>
${_('Pull request #%s for repository %s') % (pr_id, pr_target_repo) |n}
##message from user goes here
<p>
${pr_comment_user}: <br/>
${body}
</p>
<div>${_('View this comment here')}: ${pr_comment_url}</div>
%if status_change:
%if closing_pr:
<span>${_('Closing pull request with status')} -&gt; ${status_change}</span>
%else:
<span>${_('New status')} -&gt; ${status_change}</span>
%endif
%endif
</p>