I recently did a hard reset of my local git repository: In other words I reset it to an earlier point in time. Now when I try to push up to the origin
it tells me t
You can push --force
to override the current HEAD
of the origin
, even if your local branch is not a descendant of it.
However: You should be aware of the consequences: Other developers working on the same repository now cannot easily pull in the changes, but have to reset / rebase to the origin. Using forced pushes / rewriting pushed history is bad and should be avoided whenever possible.
See also another answer here on StackOverflow on the dangers of forced pushes: How to properly force a Git Push?