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

enabled an automatic merge when the pipeline for 215ecd8f succeeds

mentioned in merge request !211 (merged)

merged