Git
Réinitialiser une branche depuis une origine avec Git
Publié le 15/02/2023
Coincé.e avec une branche Git dans un état non désirée ? Voilà les trois étapes pour réinitialiser v...
5 raisons d'utiliser Git même quand on travaille seul
Publié le 03/01/2023
Pourquoi se priver de la puissance d'un outil tel que Git, simplement parce que l'on ne travaille pa...
Garder un dossier vide dans l'historique Git
Publié le 16/05/2022
Par défaut, un dossier vide ne sera pas traqué par Git. Voici deux solutions pour contourner cette c...
À quoi sert le paramètre -u lors d'un git push ?
Publié le 28/03/2022
Dans la majorité des documentation, on peut lire la commande "git push -u origin master", mais quell...
Résoudre l'erreur "shallow update not allowed" de Git
Publié le 25/01/2022
Vous avez changé l'origine du dépôt distant de votre projet et impossible de pousser votre code ? Vo...
Git : Réinitialiser une branche locale depuis l'origine
Publié le 24/11/2021
La réponse à votre requête : "git how to reset local branch to remote" !
Comment personnaliser son profil Github avec un fichier Readme
Publié le 21/10/2021
Vous souhaitez ajouter un peu de couleurs à votre profil Github ? Et bien maintenant c'est possible ...
Comment mettre du code de côté avec Git ?
Publié le 19/10/2021
Besoin de sauvegarder du code en cours de conception pour plus tard ? Voici la commande miracle !
Un outil drag&drop pour créer vos fichiers README
Publié le 14/10/2021
Vous avez du mal à vous rappeler de la syntaxe markdown pour créer de jolis README ? J'ai une soluti...
Git : Changer le message de votre dernier commit
Publié le 26/07/2021
Une erreur, une coquille ? Une commande simple pour corriger la situation !
Page 1