chiark / gitweb /
introduce update_head_checkout