changed #!/bin/sh to #!/bin/bash

enabled an automatic merge when the pipeline for 6c7ccf12 succeeds

mentioned in merge request !211 (merged)

merged