Hack for git_update_head_to_remove.