Report question

Question: Undo a git merge (hasn't been pushed yet)