chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 509af62) | patch
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)
commit349b41c2bded6dea53dd947e4ee5c16867b6d055
tree3bb74ae187bed776d9fb4ef202385850d745770ctree | snapshot
parent509af629e19c6c9d973d9fc8cd1739bd8de2d9d9commit | 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>
TODO.BRANCH diff | blob | history
infra/dgit-repos-server diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.