chiark / gitweb /
git-debrebase: 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>
Sat, 16 Jun 2018 11:25:49 +0000 (12:25 +0100)
commit675a7f895eb4768ae4078342f880852196626948
tree7ba6d7c12e4414fc273ec60c01727ef6a540169a
parentbcaec0456e20d69fd35784543c6d80401f4d6754
git-debrebase: introduce update_head_checkout
git-debrebase