On 18/12/2016 11:48:34 AM, Paul Vinkenoog wrote:
Mark Rotteveel wrote:
> Isn't it time to consider migrating the documentation repository from
> SourceForge CVS to GitHub?
>
> SourceForge itself considers CVS deprecated, and having the repository
> on GitHub might increase visibility and will li
Mark Rotteveel wrote:
> Isn't it time to consider migrating the documentation repository from
> SourceForge CVS to GitHub?
>
> SourceForge itself considers CVS deprecated, and having the repository
> on GitHub might increase visibility and will likely lower the barrier
> for contribution.
No o
