From 037ebedc598eef16d2a9d535d1ef7a62925fa500 Mon Sep 17 00:00:00 2001
From: Ralf Handl <ralf.handl@gmail.com>
Date: Thu, 6 Mar 2025 12:29:24 +0100
Subject: [PATCH] check-restricted-files.yaml: check for allowed PRs

Check in the whether the PR is an intra-repo sync PR or release PR and report "ok" for these.

Conditions:
- PR's `head` and `base` repo is `OAI/OpenAPI-Specification` and
  - `head` is `main` and `base` is `dev`, or
  - `head` is `dev` and `base` matches `v?.?-dev`, or
  - `head` matches `v?.?.?-rel` and `base` is `main`
---
 .github/workflows/check-restricted-files.yaml | 22 +++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/.github/workflows/check-restricted-files.yaml b/.github/workflows/check-restricted-files.yaml
index 6badca1994..ec625c7de4 100644
--- a/.github/workflows/check-restricted-files.yaml
+++ b/.github/workflows/check-restricted-files.yaml
@@ -18,5 +18,27 @@ jobs:
       - name: Check changed files
         shell: bash
         run: |
+          if [[ "${{ github.event.pull_request.head.repo.full_name }}" == "OAI/OpenAPI-Specification" ]] && \
+             [[ "${{ github.event.pull_request.base.repo.full_name }}" == "OAI/OpenAPI-Specification" ]]; then
+ 
+            if [[ "${{ github.event.pull_request.head.ref }}" == "main" ]] && \
+               [[ "${{ github.event.pull_request.base.ref }}" == "dev" ]]; then
+              echo Sync from main to dev
+              exit 0
+            fi
+
+            if [[ "${{ github.event.pull_request.head.ref }}" == "dev" ]] && \
+               [[ "${{ github.event.pull_request.base.ref }}" =~ ^v[0-9]+\.[0-9]+-dev$ ]]; then
+              echo Sync from dev to ${{ github.event.pull_request.base.ref }}
+              exit 0
+            fi
+
+            if [[ "${{ github.event.pull_request.head.ref }}" =~ ^v[0-9]+\.[0-9]+\.[0-9]+-rel$ ]] && \
+               [[ "${{ github.event.pull_request.base.ref }}" == "main" ]]; then
+              echo Release from ${{ github.event.pull_request.head.ref }} to main
+              exit 0
+            fi
+          fi
+
           echo This PR contains changes to files that should not be changed
           exit 1