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

enabled an automatic merge when the pipeline for 2114c584 succeeds

mentioned in merge request !211 (merged)

merged