ci: remove CombinePRs workflow

It was not really useful.
bifravst · Sep 6, 2023 · 67f5b5d · 67f5b5d
1 parent 119737a
commit 67f5b5d
Showing 1 changed file with 0 additions and 22 deletions.
diff --git a/.github/workflows/combine-prs.yaml b/.github/workflows/combine-prs.yaml