Merge #795

bors[bot] · bors[bot] · commit 55f0a1398022 · 2017-11-13T15:30:50.000Z
795: Use sh as interpreter r=asomers a=dereckson

No bash-specific feature is used, so deploy script will work
in every POSIX OS, even when bash isn't installed.
diff --git a/deploy.sh b/deploy.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 rev=$(git rev-parse --short HEAD)
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#!/bin/bash`
	`1`	`+#!/bin/sh`
`2`	`2`
`3`	`3`	`rev=$(git rev-parse --short HEAD)`
`4`	`4`