git is hard, but time travel in git is easy