I would imagine the majority of Github engineers there currently joined post MS acquisition.
That doesn't necessarily mean they're happy about Azure as a backend.
That doesn't necessarily mean they're happy about Azure as a backend.