From f9f4e867686ecb5eed3cbacce49178f401821662 Mon Sep 17 00:00:00 2001
From: "Gerald Morrison (SAP)" <gerald.morrison@sap.com>
Date: Thu, 6 Nov 2025 13:06:56 +0100
Subject: [PATCH] delete workflows for milestones

On-behalf-of: Gerald Morrison (SAP) <gerald.morrison@sap.com>
Signed-off-by: Gerald Morrison (SAP) <gerald.morrison@sap.com>
---
 .github/workflows/milestone.yml | 29 -----------------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 .github/workflows/milestone.yml

diff --git a/.github/workflows/milestone.yml b/.github/workflows/milestone.yml
deleted file mode 100644
index 0e31e10..0000000
--- a/.github/workflows/milestone.yml
+++ /dev/null
@@ -1,29 +0,0 @@
-name: Set milestone
-on:
-  workflow_call:
-
-jobs:
-  set_milestone:
-    name: Set milestone
-    runs-on: ubuntu-latest
-    permissions:
-      issues: write
-      pull-requests: write
-    steps:
-    # For PRs and branch protection the standard GITHUB_TOKEN is not sufficient
-    - name: Generate token
-      id: generate_token
-      uses: tibdex/github-app-token@v2
-      with:
-        app_id: ${{ secrets.OCMBOT_APP_ID }}
-        private_key: ${{ secrets.OCMBOT_PRIV_KEY }}
-    - name: Set milestone on issue
-      if: github.event.issue.state_reason == 'completed'
-      run: gh issue edit ${{ github.event.issue.number }} --milestone "$(date +"%Y-Q%q")" --repo ${{ github.repository }}
-      env:
-        GH_TOKEN: ${{ steps.generate_token.outputs.token }}
-    - name: Set milestone on pull request
-      if: github.event.pull_request.merged == true
-      run: gh pr edit ${{ github.event.pull_request.number }} --milestone "$(date +"%Y-Q%q")" --repo ${{ github.repository }}
-      env:
-        GH_TOKEN: ${{ steps.generate_token.outputs.token }}