Added override to github shortcut to use https instead of git protocol