forcer l'ajout d'un répertoire vide
→ http://stackoverflow.com/questions/115983/add-empty-directory-to-git-repository
créer un .gitignore dans ce répertoire avec le contenu suivant :
### Ignore everything in this directory
*
# Except this file
!.gitignore
===annuler un commit===
====tant qu'il n'a pas été poussé==== un commit peut etre modifié en local (amend).
une fois poussé sur le dépôt, ce n'est plus possible.
→ https://github.com/blog/2019-how-to-undo-almost-anything-with-git
→ http://stackoverflow.com/questions/448919/how-can-i-remove-a-commit-on-github
====déjà poussé ===
→ https://stackoverflow.com/a/8225166
git reset HEAD^ # remove commit locally
git push origin +HEAD # force-push the new HEAD commit
===config globale===
git config –global user.name “olaulau”
git config –global core.editor “vim”
git config –global push.default simple##