From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 14 Aug 2015 11:04:04 +0000 (+0100)
Subject: Document that tags are in DEP-14 format, and that they are used for authenticating... 
X-Git-Tag: debian/1.2~22
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=commitdiff_plain;h=f122563eccd23a29a21bfa3c6beadc497f7fab86

Document that tags are in DEP-14 format, and that they are used for authenticating pushes.
---

diff --git a/debian/changelog b/debian/changelog
index 81589c49..db433fbb 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,6 +2,8 @@ dgit (1.2~~) UNRELEASED; urgency=low
 
   * Fix manpage typo `dig' for `dgit'.
   * Fix manpage typo `sourcefull'.
+  * Document that tags are in DEP-14 format, and that they
+    are used for authenticating pushes.
   * Correct manpage cross-reference to point to browse.d.d.o.
 
  --
diff --git a/dgit.7 b/dgit.7
index 539ebe99..a9886563 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.