##// END OF EJS Templates
events: use branch from previous commit for repo push event commits...
events: use branch from previous commit for repo push event commits data so that grouping works, fixes #4233

File last commit:

r1:854a839a default
r815:34e1c499 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()}