diff options
| author | flip1995 <hello@philkrones.com> | 2020-02-07 22:24:41 +0100 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2020-02-12 09:34:28 +0100 |
| commit | b47dada167dea3d889abd77b7ff584afdaaf0a86 (patch) | |
| tree | a33b8ddf8324fa3080c46ba933673a6003e1c125 /.github/deploy.sh | |
| parent | abb095ddedd3c918d7c55d028d7f134bf4a507d3 (diff) | |
Apply review comments
Diffstat (limited to '.github/deploy.sh')
| -rw-r--r-- | .github/deploy.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/deploy.sh b/.github/deploy.sh index d96c69392a1..4fcff830aa6 100644 --- a/.github/deploy.sh +++ b/.github/deploy.sh @@ -1,4 +1,4 @@ -#! /bin/bash +#!/bin/bash set -ex |