News for hackers. Stuff that matters.

A comment on Jenkin developers accidentally do "git push --force" to over 150 repos on github. Parent comment

Re:Jenkin developers accidentally do "git push --force" to o... by bad_user on Tuesday November 12, 2013 @01:02AM (#6716134)
Given that Git is such an integral part of the workflow, I find unnacceptable the ability to push to the central repo for people that can't handle Git well. Git is distributed, if you're using it like it's SVN you're doing it wrong.

And yes, we all make mistakes. But by Git's nature, lo and behold, everybody has a copy.

[ Parent | on HN ]
Re:Jenkin developers accidentally do "git push --force" to o... by ihateloggingin on Tuesday November 12, 2013 @11:24AM (#6718666)
This has nothing to do with git. It has to do with github.

Git already prohibits forced pushes if you use 'git init --shared' to create your repo.

[ Parent | on HN ]