diff options
Diffstat (limited to 'dgit.7')
| -rw-r--r-- | dgit.7 | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -31,10 +31,10 @@ However, it is perfectly fine to have other branches in dgit-repos; normally the dgit-repos repo for the package will be accessible via the remote name `origin'. -dgit push will also (by default) make signed tags called +dgit push will also make signed tags called .BI debian/ version -and push them to dgit-repos, but nothing depends on these tags -existing. +(a la DEP-14) and push them to dgit-repos. These are used at the +server to authenticate pushes. dgit push can operate on any commit which is a descendant of the current dgit/suite tip in dgit-repos. |