Can someone explain to me what exactly happened?
I don't really know what Jenkin is and what "git push --force" does.
I don't really know what Jenkin is and what "git push --force" does.
'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.
One part of Git I never really liked.