Jenkin developers accidentally do "git push --force" to over 150 repos on github | Heykuki News