diff --git a/.github/labeler.yml b/.github/labeler.yml deleted file mode 100644 index f860c2b19..000000000 --- a/.github/labeler.yml +++ /dev/null @@ -1,26 +0,0 @@ -PG11: -- base-branch: 'PG11' - -PG12: -- base-branch: 'PG12' - -PG13: -- base-branch: 'PG13' - -PG14: -- base-branch: 'PG14' - -PG15: -- base-branch: 'PG15' - -PG16: -- base-branch: 'PG16' - -PG17: -- base-branch: 'PG17' - -PG18: -- base-branch: 'PG18' - -master: -- base-branch: 'master' diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml deleted file mode 100644 index d5fc8c835..000000000 --- a/.github/workflows/labeler.yml +++ /dev/null @@ -1,31 +0,0 @@ -name: "Pull Request Labeler" -on: -- pull_request_target - -jobs: - triage: - permissions: - contents: write - pull-requests: write - issues: write - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v3 - - - name: Apply branch labels - uses: actions/labeler@v5.0.0 - - - name: Apply label based on author - if: | - contains('["jrgemignani", "dehowef", "eyab" "rafsun42", "Zainab-Saad", "MuhammadTahaNaveed"]', github.event.pull_request.user.login) - uses: actions/github-script@v7 - with: - script: | - const labelsToAdd = ['override-stale']; - github.rest.issues.addLabels({ - issue_number: context.issue.number, - owner: context.repo.owner, - repo: context.repo.repo, - labels: labelsToAdd - });