update gir authored by Boman Romain's avatar Boman Romain
...@@ -137,8 +137,9 @@ If you prefer youtube videos, here are some links about git and GitLab: ...@@ -137,8 +137,9 @@ If you prefer youtube videos, here are some links about git and GitLab:
Create a repository: Create a repository:
* Do this on GitLab, 1 project per group, * Do this on GitLab, 1 project per group,
* set your project as "Public",
* invite your co-workers as members of the project (developers). * invite your co-workers as members of the project (developers).
* invite also the instructors.
Clone the repository: Clone the repository:
``` ```
git clone [copy/paste the URL here starting with git@] git clone [copy/paste the URL here starting with git@]
... ...
......