From c4bf8167d4261456b7d70e3fe90651159b941312 Mon Sep 17 00:00:00 2001
From: Maxime Cannoodt <Maxime.Cannoodt@UGent.be>
Date: Thu, 4 Aug 2022 10:42:35 +0200
Subject: [PATCH] update deploy script

---
 .github/workflows/deploy.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/deploy.yaml b/.github/workflows/deploy.yaml
index af26144..bdd40dd 100644
--- a/.github/workflows/deploy.yaml
+++ b/.github/workflows/deploy.yaml
@@ -20,6 +20,7 @@ jobs:
           username: ${{ secrets.DEPLOY_USER }}
           key: ${{ secrets.DEPLOY_PRIVATE_KEY }}
           port: 22
+          script_stop: true
           script: |
             cd /home/noteshare/noteshare.space
             git pull origin master