diff COPYING @ 728:5d368ae3d5a0

add notification at the end of push We have a dedicated hook to know when a push is done.
author Pierre-Yves David <pierre-yves.david@logilab.fr>
date Mon, 03 Jun 2013 14:57:39 +0200
parents e585303fbc5c
children 143c8e4dc22d
line wrap: on
line diff