Ive changed .git/config thusly:
$ diff config .git/config
7c7
< url = "" href="http://orgmode.org/org-mode.git">orgmode.org/org-mode.git
---
> url = "" href="https://code.orgmode.org/bzg/org-mode.git">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!