chiark / gitweb /
introduce update_head_checkout
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 25 Aug 2017 19:58:09 +0000 (20:58 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 25 Aug 2017 19:58:09 +0000 (20:58 +0100)
commitf476c6781e21146cbe7c40a511d301960fd5170d
tree51dd5a339fdb47616eecffab8b880d2b057164fd
parent66a3a193e72a6ec74c3e6acb4e664d03bbc5dd8b
introduce update_head_checkout
git-debrebase