Reuse Repository#reset_head
Simplify recovery of deleted formulae