Answer the question
In order to leave comments, you need to log in
How to request fresh changes from GitHub?
Cloned the repository.
Made a minor edit.
It turned out that someone had already made such an edit and a bunch of other edits to the github repository.
And I committed, but did not push.
Question: what command to run so that my local changes would be completely ignored and overwritten with fresh ones from Github?
I run pull or fetch and I am prompted:
Please, commit your changes or stash them before you can merge.
Aborting.
Answer the question
In order to leave comments, you need to log in
Didn't find what you were looking for?
Ask your questionAsk a Question
731 491 924 answers to any question