##// END OF EJS Templates
repos, repo groups, user groups: allow to use disabled users in owner field....
repos, repo groups, user groups: allow to use disabled users in owner field. This fixes #3374. There's no good benefit of having possibility to prevent setting disabled user from beeing an owner. It can happen that we start preperating a system and use disabled accounts. Also users shouldn't be forbidden to edit settings on an disabled owner.

File last commit:

r1:854a839a default
r224:c6a3436d default
Show More
repo_edit_statistics.html
22 lines | 924 B | text/html | HtmlLexer
<div class="panel panel-default">
<div class="panel-heading">
<h3 class="panel-title">${_('Repository statistics')}</h3>
</div>
<div class="panel-body">
${h.secure_form(url('edit_repo_statistics', repo_name=c.repo_info.repo_name), method='put')}
<div class="form">
<div class="fields">
<div class="field" >
<dl class="dl-horizontal settings">
<dt>${_('Processed commits')}:</dt><dd>${c.stats_revision}/${c.repo_last_rev}</dd>
<dt>${_('Processed progress')}:</dt><dd>${c.stats_percentage}%</dd>
</dl>
</div>
${h.submit('reset_stats_%s' % c.repo_info.repo_name,_('Reset statistics'),class_="btn btn-small",onclick="return confirm('"+_('Confirm to remove current statistics')+"');")}
</div>
</div>
${h.end_form()}
</div>
</div>