Jenkin developers accidentally do "git push --force" to over 150 repos on githubgroups.google.com281 pointsjordigh13 years ago