read git config and use 'core.editor' to edit a ticket
fix 'ambiguous HEAD' in git-reset commands
Finish branch 'olf/use-git-config' (ticket 8d0b7b4)