##// END OF EJS Templates
repos, repo groups, user groups: visually show what user is an owner, and if...
repos, repo groups, user groups: visually show what user is an owner, and if potentially he is disabled in the system.

File last commit:

r1:854a839a default
r225:48a40e43 default
Show More
settings_mapping.html
28 lines | 1.1 KiB | text/html | HtmlLexer
${h.secure_form(url('admin_settings_mapping'), method='post')}
<div class="panel panel-default">
<div class="panel-heading">
<h3 class="panel-title">${_('Import New Groups or Repositories')}</h3>
</div>
<div class="panel-body">
<div class="checkbox">
${h.checkbox('destroy',True)}
<label for="destroy">${_('Destroy old data')}</label>
</div>
<span class="help-block">${_('In case a repository or a group was deleted from the filesystem and it still exists in the database, check this option to remove obsolete data from the database.')}</span>
<div class="checkbox">
${h.checkbox('invalidate',True)}
<label for="invalidate"> ${_('Invalidate cache for all repositories')}</label>
</div>
<span class="help-block">${_('Each cache data for repositories will be cleaned with this option selected. Use this to reload data and clear cache keys.')}</span>
<div class="buttons">
${h.submit('rescan',_('Rescan Filesystem'),class_="btn")}
</div>
</div>
</div>
${h.end_form()}