[fpc-devel] Need help!

[Jonas Maebe]

On 30/10/2021 22:26, J. Gareth Moreton via fpc-devel wrote:
> Just to clarify, I cannot delete the branch because it's the default 
> branch, and it won't update with the mirror because it's diverged, and I 
> can't revert the accidental commit on Gitlab because it just adds a new 
> commit saying the last one is reverted, and is still marked as diverged.

1) git reset --hard <hash of the top commit from fpc main>
2) verify with git log that you no longer have any unwanted commits
3) git push --force origin HEAD


Jonas