It's a tradeoff. I took a 11% paycut to become a 100% remote worker. Completely worth it for me. Microsoft likewise likely believes the loss of 12% of GitHub's revenue is worth it in exchange for advancing toward their bigger goals.