diff options
| -rw-r--r-- | git.sr.ht/index.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git.sr.ht/index.md b/git.sr.ht/index.md index a1706a9..c90ee8e 100644 --- a/git.sr.ht/index.md +++ b/git.sr.ht/index.md @@ -71,7 +71,7 @@ git.sr.ht supports some git push options, which can be specified with `-o option` or `-o option=value`. - **debug**: prints the UUID assigned to your git push. You may be asked to - provide this when troubleshooting push issues for your account. + provide this when troubleshooting push issues. - **skip-ci**: skips submitting builds.sr.ht jobs for this push. All of your push options, including ones not recognized by git.sr.ht itself, are |