I'm not sure to what extent this repo has members behind, but do you think it's at all probable to migrate from SourceForge to Github? I feel like the tools and resources offered here could be a better gathering place for all things clover, including the wiki. That way we could centralize all efforts and really bring more collaboration (forks, pull-requests etc) to clover. I wanted to open up discussion about it.
I'm not sure to what extent this repo has members behind, but do you think it's at all probable to migrate from SourceForge to Github? I feel like the tools and resources offered here could be a better gathering place for all things clover, including the wiki. That way we could centralize all efforts and really bring more collaboration (forks, pull-requests etc) to clover. I wanted to open up discussion about it.