-- 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>