diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-07-17 14:21:42 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-07-31 21:50:00 +0100 |
| commit | 2fe42d36da42a62e8082d0d1c4c35943e8281e9e (patch) | |
| tree | 49a6a4d9e795aa942adf2088d650d83bdaab0c2c /dgit.7 | |
| parent | 26f2213a36af62d526a41ad96caef7f3c4aa507a (diff) | |
Tag change: Declare intent in docs etc.
Provide debiantag_new as well as debiantag_old. Change the docs
and an important comment.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit.7')
| -rw-r--r-- | dgit.7 | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -32,8 +32,9 @@ normally the dgit-repos repo for the package will be accessible via the remote name `origin'. dgit push will also make signed tags called -.BI debian/ version -(a la DEP-14) and push them to dgit-repos. These are used at the +.BI archive/debian/ version +(with version encoded 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 |