${_('Remote url')}

%if c.repo_info.clone_uri:

${_('Remote mirror url')}: ${c.repo_info.clone_uri_hidden}

${_('Pull can be automated by such api call called periodically (in crontab etc)')}


                curl ${h.route_url('apiv2')} -X POST -H 'content-type:text/plain' --data-binary '{"id":1, "auth_token":"SECRET","method":"pull", "args":{"repoid":"${c.repo_info.repo_name}"}}'

${h.secure_form(url('edit_repo_remote', repo_name=c.repo_name), method='put')}

${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')+"');")}

${h.end_form()} %else:

${_('This repository does not have any remote mirror url set.')}

%endif