[git] What to do with commit made in a detached head