pirvi-public

Hold public repositories made by the PIRVI group (until gitlab adds the possibility to define public repos inside a private group), and forks of open-source projects.