chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1451f12) | patch
dgit: Provide --for-push option
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 23 Jul 2019 15:03:13 +0000 (16:03 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 23 Jul 2019 15:03:13 +0000 (16:03 +0100)
commit7f1d8a2f4545daba6952981e4836b902b32d2005
tree5c35129430a30e08e3287b73e62c49d206e5e812tree | snapshot
parent1451f1261ad4420b46e90a44c3c7cae26432994ecommit | diff
dgit: Provide --for-push option

This is much more conveient and in some cases sensible than
 -cdgit-distro.DISTRO.readonly=0

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit diff | blob | history
dgit.1 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.