diff options
Diffstat (limited to 'man/github-mirror.conf.5')
| -rw-r--r-- | man/github-mirror.conf.5 | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/man/github-mirror.conf.5 b/man/github-mirror.conf.5 index 9900ab9..f610857 100644 --- a/man/github-mirror.conf.5 +++ b/man/github-mirror.conf.5 @@ -65,6 +65,29 @@ The default is false. .El .Pp +The options in the srht section (repeatable) are: +.Bl -tag -width -indent + +.It Cm endpoint +The SourceHut GraphQL API endpoint to use. The default is +.Lk https://git.sr.ht/graphql + +.It Cm token +The SourceHut API token to use. Required. + +This can either be a literal token or a path to a file containing the token. + +.It Cm user_agent +The User-Agent string to use. The default is +.Dq Cm github-mirror/VERSION +where VERSION is the version of the program. + +.It Cm owner +The owner of the repository to mirror. Required. + +.El + +.Pp The options in the git section (not repeatable) are: .Bl -tag -width -indent |