Skip to content

Commit 5975e87

Browse files
committed
github beheer aangescherpt.
1 parent e07de0e commit 5975e87

1 file changed

Lines changed: 8 additions & 8 deletions

File tree

docs/GitHub/GitHub-beheer.md

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -2,19 +2,19 @@
22

33
## Github beheer
44

5-
- Github teamleden met beheerders rechten zijn te vinden via: <https://github.com/orgs/Geonovum/people?query=role%3Aowner>
5+
- Github beheerders zijn te vinden via: <https://github.com/orgs/Geonovum/people?query=role%3Aowner>
66

7-
**Regel:** Alle beheerders en teamleden hebben 2FA aanstaan.
8-
9-
## Github gebruikers
10-
11-
**Regel:** Er is geen bezwaar tegen het gebruiken van een privé account binnen de github omgeving.
7+
**Regel:** Alle teamleden hebben 2FA aanstaan.
128

139
**Regel:** De beheerders van GitHub bepalen wie onderdeel is van de Geonovum
1410
organisatie. In principe loopt dat gelijk met het hebben van een Geonovum email
15-
account.
11+
account. Hierop zijn uitzondering mogelijk die we bijhouden via pas-toe-of-leg-uit.
12+
13+
**Regel:** Mensen buiten de Geonovum kunnen individueel toegang krijgen tot repositories.
14+
15+
Hierdoor worden ze [outside collaborator](https://docs.github.com/en/organizations/managing-user-access-to-your-organizations-repositories/managing-outside-collaborators/adding-outside-collaborators-to-repositories-in-your-organization#about-outside-collaborators). Per outside collaborator is te zien welke repositories ze toegang toe hebben via [deze link](https://github.com/orgs/Geonovum/outside-collaborators)
1616

17-
**Regel:** Toegang tot repositories binnen Geonovum die niet lid zijn van de organisatie regelen we via [outside collaborator](https://docs.github.com/en/organizations/managing-user-access-to-your-organizations-repositories/managing-outside-collaborators/adding-outside-collaborators-to-repositories-in-your-organization#about-outside-collaborators)
17+
**Noot:** Er is geen bezwaar tegen het gebruik van een privé github account binnen het Geonovum team. Achterliggende gedacht is dat er flink wat mensen al een github account hebben en het geen toegevoegde waarde heeft om een tweede github account te hebben.
1818

1919
## GitHub teams
2020

0 commit comments

Comments
 (0)