|
From: Mark R. <ma...@la...> - 2016-12-16 13:32:37
|
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. Mark -- Mark Rotteveel |