chiark / gitweb /
Tag change: Rename debiantag to debiantag_old
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Jul 2016 12:51:46 +0000 (13:51 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 Jul 2016 20:50:00 +0000 (21:50 +0100)
commit26f2213a36af62d526a41ad96caef7f3c4aa507a
tree94cafc044e492187eb875db112004be403ed9aad
parent94a0cf7f492247b1dfc89d84b50291eb35847198
Tag change: Rename debiantag to debiantag_old

We are going to change the tag name of the main signed tag used by
dgit to signal the user's intent to the archive server.

Prepare for this by changing debiantag to debiantag_old and changing
all call sites outside dgit itself.

dgit will want to be able to generate either, depending on whether
it's cooperating in an rpush with a new or old dgit so reintroduce a
wrapper called debiantag there.  This will also allow us to have dgit
generate old tags for testing.

No functional change.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Debian/Dgit.pm
dgit
infra/dgit-repos-policy-debian
infra/dgit-repos-server