chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0824601) | patch
Print a supplementary message when push fails, giving advice to the user about how...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 26 Jul 2015 16:42:08 +0000 (17:42 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 26 Jul 2015 18:55:26 +0000 (19:55 +0100)
commit904a32db88f4a3856a046ca336fe7232dcca0b3d
tree26b51b4b7db160f75e506c0f3d0ceb99cfd1b26btree | snapshot
parent08246013777e261333f6f972554bc02ae17bc60acommit | diff
Print a supplementary message when push fails, giving advice to the user about how to retry.  Closes:#793144.
debian/changelog diff | blob | history
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.