From 5b0c9d04fe4a6f2ef645cd068143cae69fcf7748 Mon Sep 17 00:00:00 2001
From: Jan Brasna <1784648+janbrasna@users.noreply.github.com>
Date: Sun, 26 May 2024 01:16:47 +0200
Subject: [PATCH] Simplify deploy-to-production workflow

---
 .github/workflows/deploy-to-production.yml | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/deploy-to-production.yml b/.github/workflows/deploy-to-production.yml
index 0dd92508..c92d8d66 100644
--- a/.github/workflows/deploy-to-production.yml
+++ b/.github/workflows/deploy-to-production.yml
@@ -1,10 +1,10 @@
 name: deploy-to-production
 
 on:
+  workflow_dispatch: # allow manual runs
   push:
-    branches: ["master"]
-  # Allows workflow run manually from Actions tab:
-  workflow_dispatch:
+    branches:
+      - master
 
 permissions:
   contents: read
@@ -12,12 +12,8 @@ permissions:
   id-token: write
 
 concurrency:
-  group: "pages"
-  cancel-in-progress: false
-
-defaults:
-  run:
-    shell: bash
+  group: github-pages
+  cancel-in-progress: false # skip any intermediate builds but let finish
 
 jobs:
   build: