added CI Docker labels
enabled an automatic merge when the pipeline for 73a03d4a succeeds
By Cresson Remi on 2023-10-06T12:42:26 (imported from GitLab)
mentioned in commit e222d4b6
By Cresson Remi on 2023-10-06T12:50:56 (imported from GitLab)
merged