Skip to content

Instantly share code, notes, and snippets.

@boywijnmaalen
Last active April 9, 2018 04:56
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save boywijnmaalen/27c4a26de42e3f7ed0f5b318c752aceb to your computer and use it in GitHub Desktop.
Save boywijnmaalen/27c4a26de42e3f7ed0f5b318c752aceb to your computer and use it in GitHub Desktop.
How to pull after a forced git push #CLI #GIT
$ git fetch origin
$ git reset --hard origin/master # be aware; this will destroy local work that does not ywt exist in the repository
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment