Added override to github shortcut to use https instead of git protocol
Merge pull request #792 from berniedurfee/master

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