From 97a931869c88af6fd1aa5dd3c60c7a123531394e Mon Sep 17 00:00:00 2001
From: Emilie <zawadzki@ircam.fr>
Date: Fri, 8 Jul 2016 19:03:59 +0200
Subject: [PATCH] push.sh : changing sh to bash

---
 scripts/push.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/push.sh b/scripts/push.sh
index 14175e77..2bc080c7 100755
--- a/scripts/push.sh
+++ b/scripts/push.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 docker-compose run db /srv/scripts/backup_db.sh
 git add data/media
-- 
2.39.5