Merge pull request #81 from Dontrian/feature/new-feature

Fix rule
Dontrian · Dec 4, 2023 · e26b9eb · e26b9eb
2 parents 165f357 + eb0fa81
commit e26b9eb
Showing 1 changed file with 1 addition and 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
@@ -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