{{define "content"}} {{$p := .Data.Page}}
{{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}}
| {{.Name}} | {{.Colour}} |
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}}{{.Branch}} | {{if .RequirePR}}pull requests only{{else}}direct pushes allowed{{end}}{{if .Approvals}}, {{.Approvals}} approvals{{end}} |
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}}
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}}{{.Source}} | {{if .Error}}{{.Error}}{{else if .Never}}pending{{else}}synced {{ago .Synced}}{{end}} |
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}}| ~{{.Name}} |