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, 19 Jan 2018 18:06:46 +0000 (18:06 +0000)
commit0a13eedb1bf1d7cbfd797d2b789d6da2ee3569da
treec567020372df07d114f308143b85b507e1805cc2
parentaceb9e05dc11ed0cea62cf1364bafe4df6ba7ea4
introduce update_head_checkout
git-debrebase