Git
c'est quoi ?Git est un logiciel de gestion de versions décentralisé.(Wikipedia)
GitHub
c'est quoi ?GitHub est un service web d'hébergement et de gestion de développement de logiciels, utilisant le logiciel de gestion de versions Git
. (Wikipedia)
git pull
: permet de récuperer en local les dernières modifications
git checkout BRANCH_NAME
: permet de changer de branche
git branch BRANCH_NAME
: permet de créer une branche
git shortlog -sn
: Liste les commiters et le nombre de commit
Source Control
Traduit en commande :
# git init
# git remote add origin URL_HERE
git add template/style.css # il est dans le dossier template
git commit -m "[feature] add css"
git push
- for the first push :
git push -u origin main
Dans un repository, on peut mettre des liens vers d'autres repo, puis on clone en faisant
git submodule update --recursive --init
git checkout --orphan newBranch
git add -A # Add all files and commit them
git commit
git branch -D master # Deletes the master branch
git branch -m master # Rename the current branch to master
git push -f origin master # Force push master branch to github
git gc --aggressive --prune=all # remove the old files
https://github.com/USERNAME.keys
https://gitlab.com/USERNAME.keys
# show the config
git config --list --global
# change the config
git config --global user.name "n4n5"
# install pre-commit
python -m pip install -u pre-commit
# install pre-commit hook
python -m pre_commit install
# useful command
python -m pre_commit run --all-files
git remote set-url --add --push [remote] [original_repo_URL]
git remote set-url --add --push [remote] [second_repo_URL]
git remote -v