chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f161f45) | patch
Split brain: dgit-repos-server: Permit pushing maintainer tag too
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 19 Sep 2016 00:34:55 +0000 (01:34 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 25 Sep 2016 19:12:52 +0000 (20:12 +0100)
commitff53225eafcc9e53998f9f49085a366f3f98fc9c
treee1b7a52878fb18d59ad9b8728477402856a8eb2ctree | snapshot
parentf161f45247f812f366a76e039035255450d4e522commit | diff
Split brain: dgit-repos-server: Permit pushing maintainer tag too

Split brain is going to need the maintainer tag on the dgit server.
Allow clients to push the _both_ the DEP-14 and new dgit archive/ tag.

In this case dgit-repos-server can largely ignore the DEP-14 tag.

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.