diff options
| author | Unknwon <u@gogs.io> | 2015-12-08 20:06:12 -0500 |
|---|---|---|
| committer | Unknwon <u@gogs.io> | 2015-12-08 20:06:12 -0500 |
| commit | 120cd4e4716d11f79a7e8c41c066383e579d480a (patch) | |
| tree | b25ae1b31ecf5437250c388d55ee940e294a4187 /templates/repo | |
| parent | 1cbd4c01fbfd4e15e36a722c9e2cc19366be3df8 (diff) | |
| download | gitea-120cd4e4716d11f79a7e8c41c066383e579d480a.tar.gz gitea-120cd4e4716d11f79a7e8c41c066383e579d480a.zip | |
#1984 Better mirror repo management
Diffstat (limited to 'templates/repo')
| -rw-r--r-- | templates/repo/header.tmpl | 2 | ||||
| -rw-r--r-- | templates/repo/settings/options.tmpl | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/templates/repo/header.tmpl b/templates/repo/header.tmpl index 74448ced04..ead981346b 100644 --- a/templates/repo/header.tmpl +++ b/templates/repo/header.tmpl @@ -8,7 +8,7 @@ <a href="{{AppSubUrl}}/{{.Owner.Name}}">{{.Owner.Name}}</a> <div class="divider"> / </div> <a href="{{$.RepoLink}}">{{.Name}}</a> - {{if .IsMirror}}<div class="ui label">{{$.i18n.Tr "mirror"}}</div>{{end}} + {{if .IsMirror}}<div class="fork-flag">{{$.i18n.Tr "repo.mirror_from"}} <a target="_blank" href="{{$.MirrorAddress}}">{{$.Mirror.Address}}</a></div>{{end}} {{if .IsFork}}<div class="fork-flag">{{$.i18n.Tr "repo.forked_from"}} <a href="{{.BaseRepo.RepoLink}}">{{SubStr .BaseRepo.RepoLink 1 -1}}</a></div>{{end}} </div> diff --git a/templates/repo/settings/options.tmpl b/templates/repo/settings/options.tmpl index 767f164a03..59053df123 100644 --- a/templates/repo/settings/options.tmpl +++ b/templates/repo/settings/options.tmpl @@ -55,6 +55,11 @@ <label for="interval">{{.i18n.Tr "repo.mirror_interval"}}</label> <input id="interval" name="interval" type="number" value="{{.MirrorInterval}}"> </div> + <div class="field"> + <label for="mirror_address">{{.i18n.Tr "repo.mirror_address"}}</label> + <input id="mirror_address" name="mirror_address" value="{{.Mirror.FullAddress}}"> + <p class="help">{{.i18n.Tr "repo.mirror_address_desc"}}</p> + </div> {{end}} <div class="ui divider"></div> |