From a98013fa27fe29879f0b119d353fb0e26750fbe6 Mon Sep 17 00:00:00 2001
From: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Date: Mon, 20 Nov 2023 15:07:25 +0100
Subject: [PATCH] Create check_release_notes.yml (#16308)

Creating an dummy check_release_notes.yml, so it has correct permissions for it to run in https://github.com/dotnet/fsharp/pull/16283
---
 .github/workflows/check_release_notes.yml | 27 +++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 .github/workflows/check_release_notes.yml

diff --git a/.github/workflows/check_release_notes.yml b/.github/workflows/check_release_notes.yml
new file mode 100644
index 00000000000..c500454f8ef
--- /dev/null
+++ b/.github/workflows/check_release_notes.yml
@@ -0,0 +1,27 @@
+name: Check release notes
+on:
+  pull_request:
+    types: [opened, synchronize, reopened, labeled, unlabeled]
+    branches:
+        - 'main'
+        - 'release/*'
+jobs:
+  check_release_notes:
+    permissions:
+       issues: write
+       pull-requests: write
+    env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+    runs-on: ubuntu-latest
+    steps:
+    - name: Get github ref
+      uses: actions/github-script@v3
+      id: get-pr
+      with:
+        script: |
+          const result = await github.pulls.get({
+            pull_number: context.issue.number,
+            owner: context.repo.owner,
+            repo: context.repo.repo,
+          });
+          return { "pr_number": context.issue.number, "ref": result.data.head.ref, "repository": result.data.head.repo.full_name};