Correcting myself: Bastien Guerry <b...@gnu.org> writes:
> You can clone Org from the new server with one of these commands: > > ~$ git clone g...@code.orgmode.org:bzg/org-mode.git ^^^ This is for when you have an account on code.orgmode.org and want to clone through ssh. > ~$ git clone https://code.orgmode.org/bzg/org-mode.git ^^^^^ This is for users who want to clone and don't need an account on code.orgmode.org. -- Bastien