Morty: Use HTTPS protocol for git fetch from GitHub for multiple packages
GitHub recently deprecated the usage of the git protocol for cloning from their servers. Let's use HTTPS instead for some packages that throw errors when fetching.
Edited by Frieder Schrempf