From 68df1399d7309a25df79fee843befdf8cdc4f445 Mon Sep 17 00:00:00 2001 From: Gregor Decristoforo Date: Thu, 28 Aug 2025 14:00:49 +0200 Subject: [PATCH] update GitHub menu names --- content/same-repository.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/same-repository.md b/content/same-repository.md index be2af96..384eee0 100644 --- a/content/same-repository.md +++ b/content/same-repository.md @@ -41,7 +41,7 @@ contribute. - Then **everyone in your group** needs their GitHub account to be added as collaborator to the exercise repository: - Collaborators give their GitHub usernames to their chosen maintainer. - Maintainer gives the other group members the newly created GitHub repository URL. - - Maintainer adds participants as collaborators to their project (Settings -> Collaborators and teams -> Manage access -> Add people). + - Maintainer adds participants as collaborators to their project (Settings -> Collaborators -> Manage access -> Add people). :::: ::::{tab} Following on your own