News for hackers. Stuff that matters.

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

Re:Jenkin developers accidentally do "git push --force" to o... by runn1ng on Monday November 11, 2013 @08:58PM (#6715377)
Can someone explain to me what exactly happened?

I don't really know what Jenkin is and what "git push --force" does.

[ Parent | on HN ]
Re:Jenkin developers accidentally do "git push --force" to o... by parkrrr on Monday November 11, 2013 @09:07PM (#6715418)
Jenkins is build server software. It's existence is related to the story only because it was a Jenkins developer.

'git push --force' pushes your copy of the repository to the remote, regardless of what the remote has. He basically told GitHub, "Hey here's the /real/ copy of the repository, the copy you have is totally wrong" and it overwrote all the history because his copy was a few months out of date.

[ Parent | on HN ]
Re:Jenkin developers accidentally do "git push --force" to o... by runn1ng on Monday November 11, 2013 @09:09PM (#6715429)
Oh. Ovewriting history magic.

One part of Git I never really liked.

[ Parent | on HN ]