diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-07-17 15:14:00 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-07-31 22:33:13 +0100 |
commit | 349b41c2bded6dea53dd947e4ee5c16867b6d055 (patch) | |
tree | 3bb74ae187bed776d9fb4ef202385850d745770c /infra/dgit-repos-policy-debian | |
parent | 509af629e19c6c9d973d9fc8cd1739bd8de2d9d9 (diff) |
Tag change: Update dgit-repos-server
Change the calls to debiantag_old to changes to debiantags, and the
regexp to tolerate either tag name.
We need an additional check that we are not receiving the tag named by
debiantag_new when debiantag_old already exists.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra/dgit-repos-policy-debian')
0 files changed, 0 insertions, 0 deletions