Posted from 9front (using netsurf).

I also run https://shithub.us, which is hosted from plan 9, and more or less needs plan 9 for push access. It uses the hjgit:// protocol for push access, which requires plan9 auth to establish the channel. The fact that there are so many repos up should give a hint at how active the community is.