pirvi-public

Hold public repositories made by the PIRVI group (until gitlab adds the possibility to define public repos inside a private group).