From f122563eccd23a29a21bfa3c6beadc497f7fab86 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Fri, 14 Aug 2015 12:04:04 +0100 Subject: Document that tags are in DEP-14 format, and that they are used for authenticating pushes. --- dgit.7 | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'dgit.7') diff --git a/dgit.7 b/dgit.7 index 539ebe9..a988656 100644 --- a/dgit.7 +++ b/dgit.7 @@ -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. -- cgit v1.2.3