Replaced #!/bin/sh with #!/bin/bash

enabled an automatic merge when the pipeline for 8daaa2f4 succeeds

mentioned in merge request !211 (merged)

merged