It's great that they backed down, but they still did it in the first place. GitHub is on borrowed time now; my own repos are insignificant, but I'll definitely look to move somewhere else this year, and I'm sure many others will too.