My repo uses my personal git server as primary, github as a mirror: https://gitworkshop.dev/repo/sentrum

If people mainly use GH for the social aspect and we can steal that with nip34, I believe people will naturally use other git servers since they won't depend on GH so much anymore.