* Also added a parameter for the registry push pipeline.
   Valid mainly when triggering manually the pipeline when run on develop fails.
 * Nicer message2 construction
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>