On 4 Dec 2015, at 09:55, Ivan Vučica <
ivan@vucica.net> wrote:
Primary hosting on Github? *shrug* there are no strong benefits, I think, and sufficient number of people would be happier if we hosted elsewhere.
I strongly disagree with this. The benefits for collaboration from being able to easily see who has forked your repo, to post comments on their code asking about upstreaming, and so on are huge.
GitHub is far more than just a hosting service (though one that has an issue tracker that integrates tightly with the revision control system, and a decent code review system), it’s also a social platform and that’s where the majority of its value lies.
smime.p7s