Hacker News new | ask | show | jobs
by gritzko 6 days ago
Spot on. I had my repo messed up more than once. Sometimes it is quick enough to push that to GitHub.