Learn that Git

I get it github/discord. I pushed some tokens. I need to learn git more...

git reset --hard HEAD^
git push origin -f