4 ms·Spot on. I had my repo messed up more than once. Sometimes it is quick enough to push that to GitHub.by gritzko 3mo agoSpot on. I had my repo messed up more than once. Sometimes it is quick enough to push that to GitHub.