* 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>
-- In case we do multiple merges per week
-- Also use the proper week numbering (ISO week number, with Monday as first day of week (01..53))
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>