|
From: Paul V. <pa...@vi...> - 2016-12-17 22:46:48
|
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 objections here, but does anybody have any experience with this kind of migration? (Preferably including history.) Myself, I'm a basic GIT user and I only use it locally. Paul Vinkenoog |