GitHub

GitHub is een platform voor het hosten van code en documentatie. Het biedt een aantal handige tools voor het samenwerken aan projecten. Wij gebruiken het als volgt:

• Issues kunnen gebruikt worden om problemen te melden of suggesties te doen. Mensen kunnen reageren op issues en ze kunnen gelabeld worden om ze te categoriseren.
• Discussions kunnen gebruikt worden om te discussiëren over een bepaald onderwerp. Dit is handig als je geen specifiek probleem hebt, maar wel een idee of vraag. Iedereen kan reageren op een discussie, en de meest behulpzame reacties verschijnen bovenaan.
• Pull Requests kunnen gebruikt worden om wijzigingen voor te stellen. Je kan makkelijk zien welke wijzigingen er gemaakt worden, en je kan op deze wijzigingen reageren.