I see GitHub's monopoly being in the services that integrate with it. We couldn't switch from GitHub even if we wanted to, not without finding alternatives to all the integrated services we use. That's too much friction for little gain.