[Dune-devel] Is it intentional that user forks are private?

[Markus Blatt]

Hi,

I just wanted to clone a user fork (dune-istl of andreas.thune) to 
test something. Thought that this should be possible via

git remote add andreas.thune https://gitlab.dune-project.org/andreas.thune/dune-common.git
git fetch andreas.thune

But that does not seem to be possible without password.

If I go to the MR https://gitlab.dune-project.org/core/dune-common/-/merge_requests/1152
and klick on Code -> Checkout branch the recipee presented is

"git fetch "ssh://git@gitlab.dune-project.org:22022/andreas.thune/dune-common.git" 'deterministic-indicesSyncer'
git checkout -b 'dune-common-deterministic-indicesSyncer' FETCH_HEAD"

Was this always the case or is that a new setting for Dresden? Is it intentional?

It seems a bit inconvenient. Maybe the users can change this him/herself if she/he wants to?

Best,

Markus