From eb0fa81fcfb57c68e534e05a3fb4d5a0438fcc40 Mon Sep 17 00:00:00 2001 From: Dorian Date: Mon, 4 Dec 2023 15:56:32 +0100 Subject: [PATCH] Fix rule --- .../only-allow-pull-requests-to-master-from-develop.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/only-allow-pull-requests-to-master-from-develop.yml b/.github/workflows/only-allow-pull-requests-to-master-from-develop.yml index 4c67d1e..e5730c5 100644 --- a/.github/workflows/only-allow-pull-requests-to-master-from-develop.yml +++ b/.github/workflows/only-allow-pull-requests-to-master-from-develop.yml @@ -13,7 +13,7 @@ jobs: steps: - name: Check that pull request is from develop run: | - if ["${{github.head_ref}}" = "develop"]; then + if [ "${{github.head_ref}}" == "develop" ]; then echo Pull request is from develop ✔ exit 0 else