Râu Cao on Nostr: Bonus tip: you can `git push -f` to a remote as much as you want, but just don't do ...

Bonus tip: you can `git push -f` to a remote as much as you want, but just don't do it on branches of e.g. a pull request that others may have checked out already. And you can't really lose anything, if it was on your machine before, `git reflog` is your friend for that case.