Spot on. I had my repo messed up more than once. Sometimes it is quick enough to push that to GitHub.