chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 343e6ff) | patch
Use force flag when pushing tags
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 23 Jun 2015 12:16:23 +0000 (13:16 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 23 Jun 2015 13:14:09 +0000 (14:14 +0100)
commit81e28f0e284a89d8ede573bad8cd494c911099d1
treea885e926d8fe31150754dd04659c37926bb11578tree | snapshot
parent343e6ff2ea5f63f6d7c7c9a9abf7807832a68ce3commit | diff
Use force flag when pushing tags

Newer versions of git push will not overwrite an existing tag unless
the client specifies + on the refspec (or --force).  (This is a
client-side check.)

So add this flag where appropriate, both in dgit itself, and in the
test suite.
dgit diff | blob | history
tests/tests/drs-push-rejects diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.