Hopefully they also weigh in the fact that screwing developers over is terrible publicity. Assume 100k developers see this and are slightly less inclined to trust MS in future, this bad publicity could easily cost them 1mn USD plus. A good will gesture of 100k USD at the start for consulting could have saved everyone a lot of trouble.
See https://news.ycombinator.com/item?id=23332123 elsewhere in this thread for an example of the consequences.
The cost of GitHub to MS was around 250 usd per user. If 4000 users leave that’s already a million USD.