From 24f0a6229d1cea973ea02654d36d0fc5c5ec201b Mon Sep 17 00:00:00 2001
From: Dorian <dorian@loxo.ch>
Date: Mon, 4 Dec 2023 15:37:22 +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 87b6d79..65bfec0 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'
+        if ${{github.head_ref}} == 'develop'
         then
         echo Pull request is from develop ✔
           exit 0