aboutsummaryrefslogtreecommitdiffstats
path: root/git.sr.ht/index.md
diff options
context:
space:
mode:
authorDrew DeVault <sir@cmpwn.com>2020-02-17 12:05:49 -0500
committerDrew DeVault <sir@cmpwn.com>2020-02-17 12:05:49 -0500
commit79435cad932ba9a28151c136a26da22eff7a3148 (patch)
treebab7cc433305fdcdf11109555cddc8154ec91537 /git.sr.ht/index.md
parentbc6bdbba40c57f81c828e5f5045d4a08031c919b (diff)
downloadsr.ht-docs-79435cad932ba9a28151c136a26da22eff7a3148.tar.gz
git.sr.ht: simplify explanation of push -o debug
Diffstat (limited to 'git.sr.ht/index.md')
-rw-r--r--git.sr.ht/index.md2
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