On Sun, Nov 27, 2016 at 07:32:22PM +0100, Christophe Massiot wrote: > Apparently we do not have any notification when people push, but this patch has been merged, thanks for the work. Thanks. -- Kind regards, Zoran Turalija