chiark / gitweb /
In push, do git fetch as well as archive fetch, or archive fetch can fail. debian/0.8
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 23 Aug 2013 11:24:16 +0000 (12:24 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 23 Aug 2013 11:24:16 +0000 (12:24 +0100)
commit9d4fe1fe846ac76795a42661aa4bb73335c07aad
tree513e8ef20db6165a28ff39efcdd8cdb251706782
parent0783d2b7923f56e004808cd68da81a6a4178f4fb
In push, do git fetch as well as archive fetch, or archive fetch can fail.
debian/changelog
dgit