The idea bebind this is to be able to give vault access to new DevOps
members without giving away more important credentials like Hetzner's.

github-pull-closer[1] needs write access for closing the PRs.

[1] https://gitlab.archlinux.org/archlinux/github-pull-closer/

Fix #390

Fix #386

Fix #80

Levente Polyak authored 3 years ago and Jelle van der Waa committed 3 years ago

This shouldn't be possible as it may lead to accidentally allowing
external users to be added to a project.
We should only add members to a project or group on staff request to
devops.

We've stopped providing kvm and virtualbox special devices as they are not actually necessary.

This also deprecates the somehwat disconnected docs github-mirror.md and new-gitlab.project.md