From 35406a18c73ee449fe1d491fc23c11565bb20767 Mon Sep 17 00:00:00 2001
From: Robert Haschke <rhaschke@techfak.uni-bielefeld.de>
Date: Sun, 10 Sep 2023 13:48:54 +0200
Subject: [PATCH] interactive.yaml: change default PUSH_MODE: skip -> push

Usually, one doesn't want to skip the deploy step if DEPLOY_URL is defined.
---
 .github/workflows/interactive.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/interactive.yaml b/.github/workflows/interactive.yaml
index 94fb908..ab0d82f 100644
--- a/.github/workflows/interactive.yaml
+++ b/.github/workflows/interactive.yaml
@@ -52,7 +52,7 @@ on:
         type: choice
         description: Push to DEPLOY_URL?
         required: true
-        default: skip
+        default: push
         options:
           - skip
           - push