Par exemple lors d'un push. darcs-hash:20071218004712-af139-54dc08defd43e8fec7cfbd03ea1ea212b2e3d7ad.gz