rock-core/autoproj — pull request #12 by doudou (2014-07-04 08:58:37+00:00)
Title: Tune github access

It seems that the https access is the preferred access mode on github (and I wonder if it is not faster). However, pushing via https is a pain (requires username/password), so we need to support pulling with http and pushing with ssh.