I mean, we got ~15 years of great service out of them for free. I used to pay for my own servers in colo for all the stuff Github has been providing for free all that time. It'll suck to move, but I've done it before. It's hard to turn down the loss leader they want to give me, when it's a really good product. Now that it's stopped being a really good product, maybe it becomes easier to turn down, I dunno.