chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5986b06) | patch
dgit: rpush protocol version 6: Include splitbrain param
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 5 Jul 2019 15:11:43 +0000 (16:11 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 5 Jul 2019 15:28:43 +0000 (16:28 +0100)
commit2193c15cf92d4765da004a310bf684b61718eedf
tree0ebc61b7cc72f6d9a28add024f5895dff5968d80tree | snapshot
parent5986b06eef2f0132f9eda164939e74558301988bcommit | diff
dgit: rpush protocol version 6: Include splitbrain param

And, in the push responder, check that we agree.

No overall functional change.

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