@dansup makes sense I guess given how much energy you're already putting into everything. I usually avoid pulling from GitHub, but I'll make an exception in this case (I'd have volunteered to help with mirrors but have too many other commitments at the moment)
What GitHub features do you use besides the basic ones (pull requests, issues, wiki)? In case y'know something becomes stable enough later. I wonder if in future it'd help to have a common forge for any/all ActivityPub projects :fedi: