From 77f8d085e561a90a54aa1fea4c4cdbd5f7d6137a Mon Sep 17 00:00:00 2001
From: Jakob Borg <jakob@nym.se>
Date: Tue, 5 Jul 2016 14:55:51 +0200
Subject: [PATCH] deploy: Script must have bash header

---
 deploy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deploy.sh b/deploy.sh
index c8a61d893..42c88d22f 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -euo pipefail
 
 git pull