From 2138d1e3f70b5ed02aca42502ede3aa9bcc88684 Mon Sep 17 00:00:00 2001
From: Michael Rapp <michael.rapp90@googlemail.com>
Date: Mon, 22 Apr 2024 00:59:33 +0200
Subject: [PATCH] Do not allow pull requests to modify the VERSION file.

---
 .github/workflows/test_file_changes.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test_file_changes.yml b/.github/workflows/test_file_changes.yml
index d6610ad73d..ddbac04976 100644
--- a/.github/workflows/test_file_changes.yml
+++ b/.github/workflows/test_file_changes.yml
@@ -26,7 +26,7 @@ jobs:
         uses: xalvarez/prevent-file-change-action@v1
         with:
           githubToken: ${{ steps.app-token.outputs.token }}
-          pattern: ^VERSION.dev$
+          pattern: ^VERSION(.dev)?$
           allowNewFiles: true
       - name: Save Git repository to cache
         uses: actions/cache/save@v4