They know how important developers are, that's why they bought Github. But developer experience is indeed one of the minor points of consideration when choosing a cloud vendor for large enterprise. Customer service, billing and integration into existing infrastructure is much more important.