{{define "content"}} {{$p := .Data.Page}}

Repository settings

Visibility

Rename

Old URLs stop working, forks and pull requests follow the repository.

Transfer

Archive

{{if $p.Repo.Archived}}This repository is archived, nobody can push, open pull requests or comment.{{else}}Archiving makes the repository read only. Nobody can push, open pull requests or comment until it is unarchived.{{end}}

Labels

{{if .Data.Labels}}{{range .Data.Labels}}{{end}}
{{.Name}}{{.Colour}}
{{end}}

Branch protection

A protected branch cannot be deleted or force pushed. Optionally require all changes to arrive through pull requests, and a number of approving reviews before one can be merged.

{{if .Data.Protections}}{{range .Data.Protections}}{{end}}
{{.Branch}}{{if .RequirePR}}pull requests only{{else}}direct pushes allowed{{end}}{{if .Approvals}}, {{.Approvals}} approvals{{end}}
{{end}}

Mirrors

{{range .Data.Mirrors}}{{if eq .Kind "pull"}}

This repository mirrors {{.Source}} and is read only. It syncs every {{.Hours}} hours, last {{if .Never}}never{{else}}{{ago .Synced}}{{end}}.{{with .Error}} Last attempt failed: {{.}}{{end}}

{{end}}{{end}}

Push mirrors copy every branch and tag to another host whenever this repository changes, and once a day regardless. The remote is overwritten, so point them at an empty repository.

{{if .Data.Mirrors}}{{range .Data.Mirrors}}{{if eq .Kind "push"}}{{end}}{{end}}
{{.Source}}{{if .Error}}{{.Error}}{{else if .Never}}pending{{else}}synced {{ago .Synced}}{{end}}
{{end}}
The token is stored encrypted and only sent to that host.

Collaborators

Collaborators can push, read the repository if it is private, and merge pull requests. Only you can change settings or delete it.

{{if .Data.Collaborators}}{{range .Data.Collaborators}}{{end}}
~{{.Name}}
{{end}}

Delete repository

This permanently removes the repository and its history from the server.

{{end}}