Disable non-working cleanup_pr workflow

JabRef · Sep 30, 2019 · 5d539ed · 5d539ed
1 parent 61e1a15
commit 5d539ed
Showing 1 changed file with 0 additions and 24 deletions.
diff --git a/.github/workflows/cleanup_pr.yml b/.github/workflows/cleanup_pr.yml