[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Orekit Developers] repository urls update



Dear all,

Further to the forge migration, the url of the remote Git repositories must be updated according to the template:

git remote set-url <remote_name> <new_url>

For example, for a clone of the Orekit repository, with a remote named "origin":

  • HTTPS access:

git remote set-url origin https://gitlab.orekit.org/orekit/orekit.git

  • SSH access:

git remote set-url origin git@gitlab.orekit.org:orekit/orekit.git

If you use an IDE and you are not familiar with the command line, you can probably modify the url through its graphical user interface.

Here are the new repositories:

Orekit:

    https://gitlab.orekit.org/orekit/orekit.git

    git@gitlab.orekit.org:orekit/orekit.git

Orekit Python Wrapper:

    https://gitlab.orekit.org/orekit-labs/python-wrapper.git

    git@gitlab.orekit.org:orekit-labs/python-wrapper.git

Rugged:

    https://gitlab.orekit.org/orekit/rugged.git

    git@gitlab.orekit.org:orekit/rugged.git

Stavor:

    https://gitlab.orekit.org/orekit/stavor.git

    git@gitlab.orekit.org:orekit/stavor.git

Have a nice day,

Sébastien


-- 
Sébastien Dinot
Free Software Expert
CS SI - Space BU - Payload, Data & Applications
Parc de la Grande Plaine - 5, rue Brindejonc des Moulinais - BP 15872
31506 Toulouse Cedex 05 - France
+33 (0)5 61 17 64 48 - sebastien.dinot@c-s.fr