A related note/question: why do projects like this choose github over gitlab? It's become a weird world to me, where a GNU project could ethically choose github.

To be clear, I use github often as well, but it seems odd to me that a GNU sponsored project would.