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 _______________________________________________ fpc-devel maillist - fpc-devel@lists.freepascal.org https://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel
