GitHub
Def :
GitHub est une plateforme de développement qui permet de partager et stocker du code, et cela avec un système de versionning.
Commandes Utiles :
Créer et gérer un repos en local
git init
git add .
git commit -m "Initial commit"
Sur github on créé notre repository (avec un nom, une visibilité etc...)
On ajoute ensuite ce repos à notre git :
git remote add origin git@github.com:BobbyLaFrite/<repository>.git
Et finalement :
git push -u origin main
Copier en privé un repo :
git clone --bare <URL>
cd <repo>
git push --mirror https://github.com/BobbyLaFrite/<repo>.git
cd ..
rm -rf <repo>
Supprimer des branches :
git branch -d localBranchName#local
git push origin --delete remoteBranchName#distant
Aller au commit précédent :
git log
git checkout <MD5 du commit>