chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 562f97c) | patch
infra: Drop support for old tag name on server side
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 28 Jun 2019 13:19:25 +0000 (14:19 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 28 Jun 2019 15:01:33 +0000 (16:01 +0100)
commit3201106edaaaa5859f8a4f1228e250f9f8968428
tree6f33d1c72354ec33e1d918e1f52c0ecba7fbac67tree | snapshot
parent562f97c90181c851826e6c9125bc1e4e8cfa2f65commit | diff
infra: Drop support for old tag name on server side

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
infra/dgit-repos-server diff | blob | history
tests/tests/drs-push-rejects diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.