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>