Well, the thing is that the civic tech people don’t really need a government-sponsored platform. They actually have GitLab, GitHub, and so on. So it’s not like we have to build a domestic GitHub in order for me to send a pull request — GitHub is already there. The same goes for other GitHub-like spaces.