@@ -428,7 +428,9 @@ Lorsque vous modifiez, détruisez ou rajoutez un ou plusieurs fichiers, vous pou
### Push des modifications du dépôt vers Git
Pour pousser toutes les modifications dans le dépôt, vous devez dans un premier temps commiter les modifications en entrant un résumé sur le commit puis ensuite cliquer sur le bouton `Commit`.
Pour enregistrer toutes les modifications dans le dépôt, vous devez dans un premier temps commiter les modifications en entrant un résumé sur le commit puis ensuite cliquer sur le bouton `Commit`.
Si vous ne désirez pas enregistrer certains fichiers dans le dépôt, il vous suffit juste de décocher le fichier dans la liste.