GitHub is currently facing a lot of issues – what does it take to switch?