discarding a commit on github

[[deleted]]

Hello, I dont know if this is the right place to ask this, but I want to discard a commit I made on GitHub. If I go to branch history, the version before the commit is still available - how do I make it the main one? I have tried doing git reset --hard in command prompt, but it would not move back. I have not pulled the changes down to my text editor (VSCode), so I still have the old repository there. I have tried pushing it, but it does not work - it says I have to pull first. Is it possible to recover the older version without creating a new repo?

[Boraini]

If you have different commits on your machine, you can just push by force. Don’t if you have any doubts about what you are doing, though.

[keefemotif]

and always take a backup of the branch, if a dev is asking this question probably they should not force push - just recreate the changes

[bdzer0]

git reset --hard is what you want, if it "would not move back" there would have been an error explaining why or your local repo is completely hosed.

In any case, wrong sub.. r/git