##// END OF EJS Templates
added delete button into repository settings form, it makes more natural to have it there....
added delete button into repository settings form, it makes more natural to have it there. Users where confused by my account -> my repos where deletion is also possible

File last commit:

r3054:400ca827 beta
r3084:2ec4a2a5 beta
Show More
pull_request.html
18 lines | 428 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)}
<div>${_('title')}: ${pr_title}</div>
<div>${_('description')}:</div>
<p>
${body}
</p>
<div>${_('revisions for reviewing')}</div>
<ul>
%for r in pr_revisions:
<li>${r}</li>
%endfor
</ul>
${_('View this pull request here')}: ${pr_url}