Énorme cette fonction ! Via blue
Quelques tips ultra simple pour git :)
petit truc pour corriger les infos poussées malencontreusement dans un mauvais repo git :)
git reset --hard HEAD~1
git push -f <remote> <branch>
bien foutue l'explication
un tweak pour les commandes git ... Pas sûr que ça soit intéressant, mais autant le garder dans le doute.
git by bleu again thx les RSS de shaarli
un petit article vraimetn sympa comme introduction à git