Create a mirror on github
For visibility, it might make sense to create a mirror at github. GitHub can disable most things except pull requests (https://github.com/dear-github/dear-github/issues/84). So we need to setup a bot that will automatically close any pull requests that people will send there. Here is one such bot: https://github.com/dessant/repo-lockdown.