Change-over from GitHub to command-line Git