Comment by Yokohiii

The site should clearly differ between local changes and pushed changes. Latter usually requires different strategies to recover, depending on repo policies.

Git golden rule: Never push -f if you don't know what you are doing.