Hacker News new | ask | show | jobs
by jameshart 3016 days ago
The other 10% of the time:

git commit -a -m "Commit" && git push -f
1 comments
saagarjha 3016 days ago
Forcing your coworkers do deal with your incompetence, I see.
link
jameshart 3016 days ago
Since the OP never mentioned a need to use 'git pull', I assume the 10% of the time it didn't work was when other people had gone and corrupted the repository by pushing their own commits. Clearly that's not something we want to have to deal with.
link