Pastis is dead, long live to pugs!
enabled an automatic merge when the pipeline for b1d83081 succeeds
merged
mentioned in commit 6e8cacbc