Fix git pusher to correctly tag master (as dev-master) after a successful release
Fix git pusher to correctly tag master (as dev-master) after a successful release

GuillaumeDievart/atoum,mikaelrandy/atoum,jubianchi/atoum,vonglasow/atoum,vonglasow/atoum,GuillaumeDievart/atoum,CedCannes/atoum,mikaelrandy/atoum,jubianchi/atoum,CedCannes/atoum