ci: Remove pull request labeler workflow

This commit removes the "Pull Request Labeler" workflow because the newly added "Pull Request Assigner" workflow takes care of assigning the pull request labels. Signed-off-by: Stephanos Ioannidis <[email protected]>
olofj · Jun 8, 2022 · 5dd359c · 5dd359c
1 parent 37f109a
commit 5dd359c
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 183 deletions.
diff --git a/.github/labeler.yml b/.github/labeler.yml
diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml