Merge branch 'master' into perso

Conflicts:
	.bash_aliases
	.procmailrc

diff --git a/.bash_aliases b/.bash_aliases
index 8ead57f11ce7fab67ed99c9fd545aff9dc58ab13..192caeb38f50ad01f2b1c976104ae1f28fb93c1c 100644 (file)
--- a/.bash_aliases
+++ b/.bash_aliases
@@ -119,6 +119,11 @@ alias mtr='mtr -t'
 # Pour que les semaines de cal commencent le Lundi
 alias cal='ncal -bM'
 
+# Hack pour déclencher les hooks sur un dépôt bare git
+# (genre git-update-server-info et/ou trigger KGB)
+# en faisant un truc bidon et transparent pour l'historique
+# (à savoir créer une branche et la supprimer)
+alias shakegit='git checkout -b shakegitbranch && git push origin shakegitbranch && git checkout master && git branch -d shakegitbranch && git push origin :shakegitbranch'
 
 # +--------+
 # | Divers |