From c8c272234f1ff6b17e4bec53a5f66a4663c34a8d Mon Sep 17 00:00:00 2001 From: Tom Naessens Date: Thu, 2 Oct 2025 17:00:25 +0200 Subject: [PATCH] Update 'Granting Dodona Access' sections to reflect automated GitHub invitation acceptance With some delay --- en/guides/exercises/creating-exercises/setup/index.md | 6 +++--- en/guides/exercises/new-exercise-repo/index.md | 7 +++++-- nl/guides/exercises/creating-exercises/setup/index.md | 6 +++--- nl/guides/exercises/new-exercise-repo/index.md | 9 ++++++--- 4 files changed, 17 insertions(+), 11 deletions(-) diff --git a/en/guides/exercises/creating-exercises/setup/index.md b/en/guides/exercises/creating-exercises/setup/index.md index 6d1c16252..98c4df9ac 100644 --- a/en/guides/exercises/creating-exercises/setup/index.md +++ b/en/guides/exercises/creating-exercises/setup/index.md @@ -71,9 +71,9 @@ The easiest way to do this (on github.com) is to give the user [dodona-server](h GitHub will then send an invitation that the Dodona team needs to accept. Once the invitation is accepted, you can proceed to the next steps. -::: warning Manual Approval -A member of the Dodona team must manually accept the invitation on GitHub. -This may take some time, so please be patient. +::: warning Note +The acceptance process is automated, but it can take up to half an hour before your invitation is accepted. +If it's taking longer and you still don't see _dodona-server_ in the list of collaborators, please [contact the Dodona team](https://dodona.be/en/contact). ::: ### Adding the Repository to Dodona diff --git a/en/guides/exercises/new-exercise-repo/index.md b/en/guides/exercises/new-exercise-repo/index.md index 3cfc5ce48..7b35cdc3a 100644 --- a/en/guides/exercises/new-exercise-repo/index.md +++ b/en/guides/exercises/new-exercise-repo/index.md @@ -24,8 +24,11 @@ In the creation form, choose a (preferably unique) name for your repository on D Before clicking on the add button, make sure the Dodona server has both read and write access to your exercise repository. We need this access to be able to edit the exercises through the Dodona web-interface. -On github.com, the easiest way to do this is by adding the user [dodona-server](https://github.com/dodona-server) to your repository. From the moment we accept this invitation, you can get started. On github.ugent.be, add [SA-GitHubDodona](https://github.ugent.be/SA-GitHubDodona). On gitlab.com, add [dodona-server](https://gitlab.com/dodona-server). If the repository is hosted on a self-hosted GitLab server, you will have to create a new user for Dodona on the GitLab instance, add our [ssh public key](/dodona.pub) to that user, and add that user as collaborator to the repository (with write access). - +- On github.com, invite the user [dodona-server](https://github.com/dodona-server) to your repository as a collaborator. Once the invitation is accepted, you can get started. The acceptance is automated, but can take up to half an hour. Is it taking longer? [Contact Team Dodona](https://dodona.be/en/contact). +- On github.ugent.be, add [SA-GitHubDodona](https://github.ugent.be/SA-GitHubDodona). +- On gitlab.com, add [dodona-server](https://gitlab.com/dodona-server) as a member to your project. +- For self-hosted GitLab servers, create a new user for Dodona, add our [SSH public key](/dodona.pub) to that user, and grant write access to your repository. + ![github add collaborator](./github-add-collab.png) You can now click the add-button on Dodona to add your repository. diff --git a/nl/guides/exercises/creating-exercises/setup/index.md b/nl/guides/exercises/creating-exercises/setup/index.md index d45c15167..b16d38d0b 100644 --- a/nl/guides/exercises/creating-exercises/setup/index.md +++ b/nl/guides/exercises/creating-exercises/setup/index.md @@ -71,9 +71,9 @@ De makkelijkste manier om dit te doen (op github.com) is de gebruiker [dodona-se GitHub zal dan een uitnodiging sturen die Team Dodona moet aanvaarden. Eens de uitnodiging aanvaard is, kan je verder gaan met de volgende stappen. -::: warning Manueel werk -Een lid van Team Dodona moet de uitnodiging van GitHub manueel aanvaarden. -Daardoor kan het soms even duren eer dat gebeurt. +::: warning Opgepast +De uitnodiging van GitHub wordt automatisch door Team Dodona aanvaard. Dit kan tot een half uur duren. +Zie je de gebruiker _dodona-server_ na een half uur nog steeds niet in de lijst van _Collaborators_ staan? [Neem dan contact op met Team Dodona](https://dodona.be/nl/contact). ::: ### Repository toevoegen aan Dodona diff --git a/nl/guides/exercises/new-exercise-repo/index.md b/nl/guides/exercises/new-exercise-repo/index.md index 530808e43..9a994d841 100644 --- a/nl/guides/exercises/new-exercise-repo/index.md +++ b/nl/guides/exercises/new-exercise-repo/index.md @@ -22,10 +22,13 @@ In het formulier om de repository toe te voegen kies je een unieke naam voor je ![github clone url](./github-clone-url.png) -Voordat je op de toevoeg-knop klikt, moet je er eerst voor zorgen dat de Dodona server zowel lees- als schrijfrechten heeft op je repository met oefeningen. We hebben deze schrijftoegang nodig om eenvoudig de oefeningen kunnen bewerken via de webinterface. - -Op github.com is de eenvoudigste manier om de gebruiker [dodona-server](https://github.com/dodona-server) aan je repository toe te voegen. Van zodra wij deze uitnodiging accepteren, kan je van start gaan. Op github.ugent.be voeg je op dezelfde wijze de gebruiker [SA-GitHubDodona](https://github.ugent.be/SA-GitHubDodona) toe. Op gitlab.com kan je [dodona-server](https://gitlab.com/dodona-server) toevoegen. Als je je repository op een eigen GitLab server host, dan zal je zelf een nieuwe gebruiker voor Dodona moeten aanmaken. Je kan onze [publieke ssh sleutel](/dodona.pub) hiervoor gebruiken. +Voordat je op de toevoeg-knop klikt, moet je er eerst voor zorgen dat de Dodona server zowel lees- als schrijfrechten heeft op je repository met oefeningen. We hebben deze schrijftoegang nodig om eenvoudig de oefeningen te kunnen bewerken via de webinterface. +- Op github.com voeg je eenvoudig de gebruiker [dodona-server](https://github.com/dodona-server) toe aan je repository. Zodra wij de uitnodiging accepteren (binnen het half uur), kan je aan de slag. De acceptatie gebeurt automatisch, maar kan tot een half uur duren. Duurt het toch langer, [neem dan contact op met Team Dodona](https://dodona.be/nl/contact). +- Op github.ugent.be voeg je [SA-GitHubDodona](https://github.ugent.be/SA-GitHubDodona) toe. +- Op gitlab.com gebruik je [dodona-server](https://gitlab.com/dodona-server). +- Host je op een eigen GitLab server, maak dan zelf een gebruiker voor Dodona aan en gebruik onze [publieke ssh sleutel](/dodona.pub). + ![github gebruiker toevoegen](./github-add-collab.png) Je kan op de Dodona website het toevoegen van de repository nu finaliseren.