GitHub¶
GitHub est un service web d’hébérgement de code. Il utilise le logiciel de gestion de version Git. Depuis 2018 GitHub fait partie de Microsoft.
Le programme GitHub Desktop est une interface graphique pour git. Il permet de facilement créer une copie local.
Créer votre copie (Fork)¶
Vous pouvez créer une copie du répositoire en cliquant sur le bouton Fork
Ceci crée une copie exacte de tout le code vers votre compte GitHub. Vous pouvez ensuite créer une copie local sur votre ordinateur. Utilisez JupyterLab, pour modifier les fichiers et ajouter vos propres resources.
Synchronyser avec l’origin¶
Vous pouvez synchroniser votre copie avec l’orignial (=upstream)
choisissez Branch > Merge into current branch…
sélectionnez upstrame/main
cliquez sur Merge upstream/main into main.
