I think github's CEO was keen to restore it [0], probably on a matter of principle but also probably on how much negative advertisement it brings them, in terms of 'trusting' github as host.
I am sure they had MS's legal team advise them on what they can get away with.
