##// END OF EJS Templates
user group: sort lists of current and available members by username...
user group: sort lists of current and available members by username It was hard to navigate lists with 200 users in "random" (user_id?) order.

File last commit:

r3505:42e5812b beta
r3624:4dddb7ee beta
Show More
pull_request.html
18 lines | 510 B | text/html | HtmlLexer
## -*- coding: utf-8 -*-
<%inherit file="main.html"/>
${_('User %s opened pull request for repository %s and wants you to review changes.') % (('<b>%s</b>' % pr_user_created),pr_repo_url) |n}
<div>${_('View this pull request here')}: ${pr_url}</div>
<div>${_('title')}: ${pr_title}</div>
<div>${_('description')}:</div>
<p>
${body}
</p>
<div>${_('revisions for reviewing')}</div>
<p style="white-space: pre-wrap;">
%for r,r_msg in pr_revisions:
<b>${h.short_id(r)}</b>:
${h.shorter(r_msg, 256)}
%endfor
</p>