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

enabled an automatic merge when the pipeline for f1b582d7 succeeds

mentioned in merge request !211 (merged)

merged