Yes, this is not the first time github trying to migrate to azure. It's like the fourth time or something.