ci: remove add-pr-to-project GitHub Actions workflow (#450)

varfish-org · May 28, 2024 · 136b545 · 136b545
1 parent bb6166f
commit 136b545
Showing 1 changed file with 0 additions and 18 deletions.
diff --git a/.github/workflows/add-pr-to-project.yml b/.github/workflows/add-pr-to-project.yml