"please submit issues and proposals to: https://gitworkshop.dev/r/naddrbunchofnumbers"

You can still use it as a gitserver, but maybe go ahead and try to set up a new gitserver, or use https://codeberg.org or something.

As long as you have your GitHub repo open for interaction, that is where the interaction will be because people are creatures of habit. GitHub has a strong network effect that makes everyone mindless GitHub drones.

GitHub Zombies