From ea2e45b96960cfdafa91d2d8cc42e7dd5a2a9afd Mon Sep 17 00:00:00 2001 From: Angelos Chalaris Date: Sun, 4 Feb 2018 17:35:27 +0200 Subject: [PATCH] Add shebang to push.sh --- .travis/push.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/.travis/push.sh b/.travis/push.sh index 174bb5311..94340cddf 100755 --- a/.travis/push.sh +++ b/.travis/push.sh @@ -1,3 +1,4 @@ +#!/bin/bash setup_git() { git config --global user.email "30secondsofcode@gmail.com" git config --global user.name "30secondsofcode"