Well, I don’t get to make that decision. If the maintainers choose to do that, I’ll follow, but there’s a good chance that a lot of the other contributors won’t. For something in rapid development with a lot of community contributions, you want that barrier of entry to be as low as possible.

So if it was up to me (and it’s not), I would say no. I would be open to an official mirror somewhere else, and perhaps moving to a separate feature/bug tracking system (esp. if it’s easier for the community to report bugs), which imo is the biggest barrier to moving the repo.

I guess I’m not particularly worried about it since the project is FOSS and the difficulty in switching is pretty low.