##// END OF EJS Templates
api: use consistent way to extract users, repos, repo groups and user groups by id or name....
api: use consistent way to extract users, repos, repo groups and user groups by id or name. - makes usage of Number vs String to differenciate if we pick objec ID or it's name this will allow easy fetching of objects by either id or it's name, including numeric string name - fixes #5230

File last commit:

r1282:90601d74 default
r1530:1efcb4ee default
Show More
repo_edit_remote.mako
29 lines | 1.1 KiB | application/x-mako | MakoHtmlLexer
<div class="panel panel-default">
<div class="panel-heading">
<h3 class="panel-title">${_('Remote url')}</h3>
</div>
<div class="panel-body">
%if c.repo_info.clone_uri:
<div class="panel-body-title-text">${_('Remote mirror url')}: <a href="${c.repo_info.clone_uri}">${c.repo_info.clone_uri_hidden}</a></div>
${h.secure_form(url('edit_repo_remote', repo_name=c.repo_name), method='put')}
<div class="form">
<div class="fields">
${h.submit('remote_pull_%s' % c.repo_info.repo_name,_('Pull changes from remote location'),class_="btn btn-small",onclick="return confirm('"+_('Confirm to pull changes from remote side')+"');")}
</div>
</div>
${h.end_form()}
%else:
<div class="panel-body-title-text">${_('This repository does not have any remote mirror url set.')}</div>
<button class="btn btn-default" type="submit" disabled="disabled">
${_('Pull changes from remote location')}
</button>
%endif
</div>
</div>