so we have discussed changing from github away already. The result of these discussions is, to my knowledge:
currently, there has been some work on making collaboration between git hosting services easier (also federating stuff):
So i wonder if sourcehut.org would be a solution.
I’d personally help in the transition of the issues (summarzing the github ones and closing the github ones in favor of the sourcehut tickets, one by one) and i’m sure some other peoples would also be interested in helping.