On 2013–09–26 Peter Münster wrote:

> On Thu, Sep 26 2013, Aditya Mahajan wrote:
> 
> > Wouldn't it be better to move the manuals to github rather than keeping them
> > on an svn server?
> 
> Why?

In my opinion, for the “3 commits per year” it doesn't really matter
which version control system is being used. No particular git
feature is required for such a simple and low-traffic code base as
the manual.

For me it's more a choice of infrastructure. It is easier to
collaborate on github. It's popular, people know how to use it and
it doesn't require an invitation. Github's GUI is more friendly to
beginners not familiar with revision control systems. The simpler it
is to contribute the more likely it is for people to do so.

But, I agree, there are valid reasons to stay with supelec, the main
one being that it's already there. Still, I would support a change.
More importantly I would like to see people actually contributing.

Marco