Is huggingface a replacement for github?

[jgardi]

I noticed that bloom is on huggingface and not on github at all. Is this the best way going forward or should I combine github wth huggingface?