Github has been down consistently over the last few months - does it make sense to switch to alternatives now? When do you think majority will switch?