Isnt it also in the past year when they started to move Github fully to microsoft infra? Off whatever they were doing before