diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-09-19 01:34:55 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-09-25 20:12:52 +0100 |
| commit | ff53225eafcc9e53998f9f49085a366f3f98fc9c (patch) | |
| tree | e1b7a52878fb18d59ad9b8728477402856a8eb2c /.gitignore | |
| parent | f161f45247f812f366a76e039035255450d4e522 (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>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions