4 ms·IIRC the plan is to have a proper self-hosted Git repo, and mirror it on GitHub.by emersion 6y agoIIRC the plan is to have a proper self-hosted Git repo, and mirror it on GitHub.