Failed to sync push 62cc91c1...9285ed97 due to it being
a force push. An administrator should manually resolve
this by doing:

git checkout master
git reset --hard github/master
git push --force-with-lease sourcehut master
# Note: this action will destroy any Sourcehut commits.

Pushed by: emabrey (3370875)