I am not the architect of any large scale system-- that said, I wouldn't expect developers to reach out to GitHub.

However, it isn't bad etiquette and I'm sure Microsoft could get in touch with the devs. Interesting thought.