From ab927c628ad464f354ac35f405bd9041cca8346d Mon Sep 17 00:00:00 2001
From: Pavel 'LEdoian' Turinsky <ledoian@matfyz.cz>
Date: Sun, 2 Jan 2022 02:04:12 +0100
Subject: [PATCH] Remove "local" directive from deploy script

While bash tolerates that, dash does not.
---
 deploy.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/deploy.sh b/deploy.sh
index 592a0e6..b102119 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -15,8 +15,6 @@ if test -n "$(git status --porcelain)"; then
 	exit 1
 fi
 
-local branch
-
 if test "$#" -eq 1; then
 	branch="$1"
 else