diff options
| author | Drew DeVault <sir@cmpwn.com> | 2020-02-17 11:51:08 -0500 |
|---|---|---|
| committer | Drew DeVault <sir@cmpwn.com> | 2020-02-17 11:51:08 -0500 |
| commit | 97d5f17bfc5936f349afdfb9e59450b7c081530a (patch) | |
| tree | f6c5d5c183afc51e89770511a2e0d54c61025bad /git.sr.ht/index.md | |
| parent | 3b97de045ae08c19574c6b8ed4d09ef4570bfb7a (diff) | |
| download | sr.ht-docs-97d5f17bfc5936f349afdfb9e59450b7c081530a.tar.gz | |
git.sr.ht: document push options
Diffstat (limited to 'git.sr.ht/index.md')
| -rw-r--r-- | git.sr.ht/index.md | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/git.sr.ht/index.md b/git.sr.ht/index.md index bda578a..6c65b91 100644 --- a/git.sr.ht/index.md +++ b/git.sr.ht/index.md @@ -113,3 +113,15 @@ repositories are hidden unless you're logged in. The information displayed on your profile page is sourced from your [meta.sr.ht profile](/meta.sr.ht#profile). + +## Push Options + +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. +- **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 +forwarded to any webhooks you have configured for your repository. |