summaryrefslogtreecommitdiff
path: root/infra/dgit-repos-policy-trusting
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2016-07-17 13:51:46 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2016-07-31 21:50:00 +0100
commit26f2213a36af62d526a41ad96caef7f3c4aa507a (patch)
tree94cafc044e492187eb875db112004be403ed9aad /infra/dgit-repos-policy-trusting
parent94a0cf7f492247b1dfc89d84b50291eb35847198 (diff)
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>
Diffstat (limited to 'infra/dgit-repos-policy-trusting')
0 files changed, 0 insertions, 0 deletions