Failed to sync push 9285ed97...641b293d due to a
fast-forward merge error. A maintainer should manually resolve
this by doing:

git checkout master
git reset --hard sourcehut/master
git merge github/master
git push sourcehut master

Pushed by: Be-ing (9455094)