Git tips

Suprimmer un commit déjà poussé#

(https://stackoverflow.com/questions/40245767/delete-commit-on-gitlab)

    git reset --hard CommitId
    git push -f origin master

log en arbre :#

(https://stackoverflow.com/a/1060886)

git log --graph --abbrev-commit --decorate --date=relative --all