Add shebang to push.sh

2018-02-04 17:35:27 +02:00
parent ae5370580c
commit ea2e45b969
1 changed files with 1 additions and 0 deletions
--- 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"