Also: are there plans to open source more of GitHub? Post Microsoft acquisition, I have been increasingly concerned about vendor lock-in, EEE, and so forth.
I think open sourcing GitHub is an interesting idea.
Unrelated: have you seen https://sourcehut.org/? Thoughts?