Github's migration to Azure has so far been a hilariously bad advertisement for Azure