G groups.google.com Jenkin developers accidentally do "git push --force" to over 150 repos on github 281 points jordigh 13 years ago 192 comments
