petit truc pour corriger les infos poussées malencontreusement dans un mauvais repo git :) git reset --hard HEAD~1 git push -f <remote> <branch>