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.