Hello Peter, Thank you for uploading sbcl 2.5.0. I think you missed the README.source I added:
Git workflow ============ This package uses dgit-maint-debrebase(7). Please consult that manpage before committing to the team repository on salsa. -- Sean Whitton <spwhit...@spwhitton.name>, Thu, 30 May 2024 21:34:51 +0100 Please follow the workflow in the future, to facilitate collaboration. -- Sean Whitton