summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-08-14 12:04:04 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-08-14 12:04:04 +0100
commitf122563eccd23a29a21bfa3c6beadc497f7fab86 (patch)
tree03bfa19f0b145b7e726a50227b0c1a15729c4383
parentebbb4bca5d11bf97a7e8c1d973d38bc19cc6b5de (diff)
Document that tags are in DEP-14 format, and that they are used for authenticating pushes.
-rw-r--r--debian/changelog2
-rw-r--r--dgit.76
2 files changed, 5 insertions, 3 deletions
diff --git a/debian/changelog b/debian/changelog
index 81589c4..db433fb 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 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.