@@ -15,7 +15,7 @@ Après avoir choisi votre groupe, vous devrez impérativement :
- Ajouter ce repository comme deuxième remote différent de `origin`, nommé `base` en lançant cette commande :
```shell
git remote add base ssh://git@ssh.hesge.ch:10572/cours-ihm/lab1_ihm_2019.git
git remote add base ssh://git@ssh.hesge.ch:10572/cours-ihm/labs_ihm_2019.git
```
> Cette commande permet de lier votre dossier local à deux dépôts distants : le dépôt de votre travail, et le dépôt que vous avez cloné. Cela vous permettra de faire un simple "git pull base master" pour avoir directement les énoncés des prochains labos
