Use github protocols setting for push urls

Currently, the push url of all the packages downloaded from github use the ssh protocol, This pull request allows the developers who want to push directly from the vendor directory to use the first-choice protocol they have defined in the *github-protocols* configuration setting, including the recommanded https method.