chiark / gitweb /
Tag change: Update dgit-repos-server
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Jul 2016 14:14:00 +0000 (15:14 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 Jul 2016 21:33:13 +0000 (22:33 +0100)
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>

No differences found