Config.pm: switch GitHub from git: to https:
commitefd33565cf38973e8abc8dcd180f60710cfc7eb1
authorKyle J. McKay <mackyle@gmail.com>
Sat, 17 Sep 2016 23:30:41 +0000 (17 16:30 -0700)
committerKyle J. McKay <mackyle@gmail.com>
Sat, 17 Sep 2016 23:30:41 +0000 (17 16:30 -0700)
tree470dca0fb207d3eb0f1c2d9c4d4dfe87cd28b7c5
parent52844b5e4779f2191d668068cfe0160181f654d4
Config.pm: switch GitHub from git: to https:

In 1b75a119ab39 (Config.pm: modernize config example settings,
2016-03-29), the mirror source for GitHub was switched from git: to
https: on the master branch, but git: was retained on the rorcz branch.

There's no good reason to retain the git: scheme when setting up GitHub
mirrors and several good reasons to switch to https:

  * Should GitHub support redirects (perhaps in the case of a project
    rename), they can be followed whereas git: has no redirects.

  * We set a low speed timeout limit via cURL for http:/https: fetch
    but do not have such a thing available for git: so the full jobd.pl
    job timeout must expire for git: fetches that hang but not
    http:/https:.

  * The https: scheme is secure from unwanted interference whereas the
    git: scheme is not.

Therefore switch the GitHub mirror source from git: to https: to match
what's on the master branch.

Signed-off-by: Kyle J. McKay <mackyle@gmail.com>
Girocco/Config.pm