[PR] Move from git:// to https:// for GitHub repositories

We can't yet move for develop.git.wordpress.org, as HTTPS does not respond.

See #518