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>
Fri, 16 Feb 2018 19:19:05 +0000 (19:19 +0000)
commit8f2985e855942971d028fc24796d997b5b030e39
treee9239d2d133a07cc0d1c94936b42ff27138e1774
parent28c5f57003fecfed44a1bd1b7877600218751193
git-debrebase: introduce update_head_checkout
git-debrebase