Github has been down consistently over the last few months - does it make sense to switch to alternatives?