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

[Markus Blatt]

Am Fri, Mar 10, 2023 at 05:34:36PM +0000 schrieb Ospina De Los Rios, Santiago:
>GitLab manages permissions by projects, groups or roles within a project. Your core developer credentials are only valid to the core group and private forks (like this one) are private even for the owners of the original repository. 

Interesting. Was that the way before, too? At least on github default is public.
Private by defaults means any further development is hidden unless the user
takes action. I think this is a bit unfortunate.

You guys should tell your students that they have to make forks public or you
risk that paid work will be lost.

BTW at least https://gitlab.dune-project.org/help/user/project/merge_requests/reviews/index.md#checkout-merge-requests-locally-through-the-head-ref
works for an existing MR.

Markus