To summarize the discussion at this point in time, the move was motivated by a perceived (not measured):
- Lack of exposure
- Roadblock for contributors
In addition, the lack of CI required work and resources that are considered too costly.
The downside of moving to GitHub was expressed as a feeling of “giving in”. People participating in the conversations mentioned the following downsides to moving to GitHub: “It’s Microsoft”, “…your target audience…won’t like to learn it’s hosted on github”, “Github is a product of Microsoft, and so is LinkedIn. It would be a hazard to rely on your competitors for critical infrastructure.”