From: Jérôme Benoit Date: Mon, 24 Nov 2025 20:48:45 +0000 (+0100) Subject: ci: remove uneeded workflow X-Git-Tag: v5.2.0~74 X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=3207bbe108c8bcb8afb26f05b6e0993936ee45b1;p=poolifier.git ci: remove uneeded workflow Signed-off-by: Jérôme Benoit --- diff --git a/.github/workflows/combine-prs.yml b/.github/workflows/combine-prs.yml deleted file mode 100644 index 2f1142d6b..000000000 --- a/.github/workflows/combine-prs.yml +++ /dev/null @@ -1,23 +0,0 @@ -name: Combine PRs - -on: - workflow_dispatch: - schedule: - - cron: '0 2 * * *' - -permissions: - contents: write - pull-requests: write - checks: read - -jobs: - combine-prs: - if: github.repository == 'poolifier/poolifier' - runs-on: ubuntu-latest - - steps: - - name: combine-prs - id: combine-prs - uses: github/combine-prs@v5.2.0 - with: - github_token: ${{ secrets.WORKFLOW_TOKEN }}