path: root/dgit.7
diff options
authorIan Jackson <>2016-07-17 14:21:42 +0100
committerIan Jackson <>2016-07-31 21:50:00 +0100
commit2fe42d36da42a62e8082d0d1c4c35943e8281e9e (patch)
tree49a6a4d9e795aa942adf2088d650d83bdaab0c2c /dgit.7
parent26f2213a36af62d526a41ad96caef7f3c4aa507a (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 <>
Diffstat (limited to 'dgit.7')
1 files changed, 3 insertions, 2 deletions
diff --git a/dgit.7 b/dgit.7
index f594093..d57cff7 100644
--- a/dgit.7
+++ b/dgit.7
@@ -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