-# Pour synchro gpg ede cabal à ici
-alias syncgpg='(ssh cabal gpg --export-options export-local-sigs --export-options export-attributes --export | gpg --import); scp cabal:~/.gnupg/trustdb.gpg ~/.gnupg/'
+# 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'