diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-07-17 14:21:42 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-07-31 21:50:00 +0100 |
commit | 2fe42d36da42a62e8082d0d1c4c35943e8281e9e (patch) | |
tree | 49a6a4d9e795aa942adf2088d650d83bdaab0c2c /infra | |
parent | 26f2213a36af62d526a41ad96caef7f3c4aa507a (diff) |
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 <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra')
-rwxr-xr-x | infra/dgit-repos-server | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index ea223a0..3c87341 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -69,7 +69,7 @@ setup_sigwarn(); # as a result of this the stunt pre-receive hook runs; it does this: # + understand what refs we are allegedly updating and # check some correspondences: -# * we are updating only refs/tags/DISTRO/* and refs/dgit/* +# * we are updating only refs/tags/[archive/]DISTRO/* and refs/dgit/* # * and only one of each # * and the tag does not already exist # and @@ -86,7 +86,7 @@ setup_sigwarn(); # * the signed tag must refer to a commit # * the signed tag commit must be the refs/dgit value # * the name in the signed tag must correspond to its ref name -# * the tag name must be debian/<version> (massaged as needed) +# * the tag name must be [archive/]debian/<version> (massaged as needed) # * the suite is one of those permitted # * the signed tag has a suitable name # * run the "push" policy hook |