diff options
| author | Drew DeVault <sir@cmpwn.com> | 2020-02-17 12:05:49 -0500 |
|---|---|---|
| committer | Drew DeVault <sir@cmpwn.com> | 2020-02-17 12:05:49 -0500 |
| commit | 79435cad932ba9a28151c136a26da22eff7a3148 (patch) | |
| tree | bab7cc433305fdcdf11109555cddc8154ec91537 /git.sr.ht | |
| parent | bc6bdbba40c57f81c828e5f5045d4a08031c919b (diff) | |
| download | sr.ht-docs-79435cad932ba9a28151c136a26da22eff7a3148.tar.gz | |
git.sr.ht: simplify explanation of push -o debug
Diffstat (limited to 'git.sr.ht')
| -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 |