diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-08-14 12:04:04 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-08-14 12:04:04 +0100 |
commit | f122563eccd23a29a21bfa3c6beadc497f7fab86 (patch) | |
tree | 03bfa19f0b145b7e726a50227b0c1a15729c4383 | |
parent | ebbb4bca5d11bf97a7e8c1d973d38bc19cc6b5de (diff) |
Document that tags are in DEP-14 format, and that they are used for authenticating pushes.
-rw-r--r-- | debian/changelog | 2 | ||||
-rw-r--r-- | dgit.7 | 6 |
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. -- @@ -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. |