Ive changed .git/config thusly:


$ diff config .git/config
7c7
<     url = git://orgmode.org/org-mode.git
---
>     url = https://code.orgmode.org/bzg/org-mode.git

As best as I can see its working!

Questions

1. Is this right?
2. This change should probably go up on the main web-page somewhere since
the mailing list hides mail-addresses. So we can make out that something
needs change but not exactly what!