From 35c39aba621307fd745409658e3770b961192f03 Mon Sep 17 00:00:00 2001
From: Pl4gue <david10608@gmail.com>
Date: Mon, 25 Dec 2017 15:17:19 +0100
Subject: [PATCH] remove shell identifier

---
 .travis/push.sh | 2 --
 1 file changed, 2 deletions(-)

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"