diff --git a/.travis/push.sh b/.travis/push.sh
index d8077845d..c54d1f4dd 100755
--- a/.travis/push.sh
+++ b/.travis/push.sh
@@ -1,5 +1,3 @@
-#!/bin/sh
-
 setup_git() {
   git config --global user.email "travis@travis-ci.org"
   git config --global user.name "Travis CI"