From 2fe42d36da42a62e8082d0d1c4c35943e8281e9e Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sun, 17 Jul 2016 14:21:42 +0100 Subject: 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 --- dgit.7 | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'dgit.7') 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 -- cgit v1.2.3