[dune-pdelab] Repositories and bug tracker have moved

[Steffen Müthing]

As a little follow-up: If you have an existing repository for dune-typetree, dune-pdelab or
dune-pdelab-howto, you can switch to the new server by running the following command
inside your local repository:

git remote set-url origin https://gitlab.dune-project.org/pdelab/dune-pdelab.git

Alternatively, if you want to use SSH (and have uploaded an SSH key to GitLab), write

git remote set-url origin ssh://git@gitlab.dune-project.org:22022/pdelab/dune-pdelab.git

You can also find those URLs if you open the project in your browser
(e.g. https://gitlab.dune-project.org/pdelab/dune-pdelab) and look near the top of that page.

If you used a different name than origin for your remote, replace origin in those git commands,
and adjust the name of the remote repository (e.g dune-typetree.git instead of dune-pdelab.git).

Steffen


> Am 29.10.2015 um 12:03 schrieb Steffen Müthing <steffen.muething at iwr.uni-heidelberg.de>:
> 
> Dear PDELab users and developers,
> 
> as we now have an official DUNE GitLab server at https://gitlab.dune-project.org, PDELab
> has moved to that new home. You can find the repositories and bug tracker at
> 
> https://gitlab.dune-project.org/pdelab
> 
> Please do not push to the old repositories at conan2.iwr.uni-heidelberg.de anymore or use
> the bug tracker over there.
> 
> Everybody who had an account at conan2.iwr.uni-heidelberg.de also has an identical account
> at the new GitLab, so you can directly switch over.
> 
> Thank you,
> 
> Steffen
> _______________________________________________
> dune-pdelab mailing list
> dune-pdelab at dune-project.org
> http://lists.dune-project.org/mailman/listinfo/dune-pdelab

-------------- 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-pdelab/attachments/20151029/9fa07d26/attachment.sig>