From 4f61f53db302d7c9526fb4a28c4fc4f961c81560 Mon Sep 17 00:00:00 2001 From: Anshul Gupta Date: Thu, 12 Jun 2025 01:58:20 -0700 Subject: Add `srht` to manpage --- man/github-mirror.conf.5 | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) (limited to 'man') 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 @@ -64,6 +64,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 -- cgit v1.2.3