fix: CI scripts

This commit is contained in:
Christian Pauly 2020-12-08 14:46:47 +00:00
commit 5a61ea9ff1
17 changed files with 29 additions and 29 deletions

View file

@ -1,4 +1,4 @@
#!/usr/bin/env bash
#!/bin/sh -ve
# source: https://about.gitlab.com/blog/2017/09/05/how-to-automatically-create-a-new-mr-on-gitlab-with-gitlab-ci/