This commit is contained in:
zimbatm 2019-01-19 00:04:11 +01:00
commit b44f7f85f3
No known key found for this signature in database
GPG key ID: 71BAF6D40C1D63D7
16 changed files with 302 additions and 0 deletions

6
.gitlab/push-master Executable file
View file

@ -0,0 +1,6 @@
#!/bin/sh -eu
if [ "$CI_COMMIT_REF_NAME" = master ]; then
exec ./push-all
else
echo "=== not pushing on non-master ==="
fi