Use the more user-friendly `https:` GitHub URLs by default (#5704)
Use the more user-friendly `https:` GitHub URLs by default (#5704)

gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon