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

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!