Did't Github just close all their offices permanently? I think this is going to be a crazy push-pull for a while longer.