[Dune] Shutting down old git server at git.dune-project.org

[Steffen Müthing]

Hi everyone,

we are planning to shut down the old git server at git.dune-project.org in the near future.
If you are still using that server, you should update the remote URLs in your Git repositories.

You can find out whether your repository needs updating by running git remote show origin.
It will show you the URL of the server associated with the repository. If it still contains
git.dune-project.org, you have to update the URL by running git remote set-url origin <new url>.

The new URLs can be found at https://dune-project.org/downloadgit.html.

If you have write access, the new server also supports pushing over SSH, which avoids having
to type your password each time you push if you have an SSH agent running. In order to use this
feature, you have to add an SSH key to your GitLab user profile. Afterwards, you can obtain the
SSH server URL from the respective project page in GitLab.

We will probably shut down git.dune-project.org in the first week of February.

Steffen

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 455 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20160127/3c9ba651/attachment.sig>