chiark / gitweb /
Remote push support seems to work. Closes:#721185.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 25 Oct 2013 16:13:58 +0000 (17:13 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 25 Oct 2013 16:13:58 +0000 (17:13 +0100)
commit07dae82c5b7d4c46e2f86b7af5b9a8d77096b788
treeef7166cee2d74791b10b9ab328f2254de81795db
parent85eb1b447f987dc7da3960dd0d078ad6b7d6dd6f
Remote push support seems to work.  Closes:#721185.
debian/changelog
dgit.1