diff --git a/.github/workflows/backport-label-audit.yml b/.github/workflows/backport-label-audit.yml new file mode 100644 index 00000000..9a8ffd73 --- /dev/null +++ b/.github/workflows/backport-label-audit.yml @@ -0,0 +1,29 @@ +name: Backport Label Audit +# Run this workflow manually to audit backport labels on pull requests +# and remove labels from PRs that have already been backported. +# Optionally specify a release version to limit the audit to that version + +on: + workflow_dispatch: + inputs: + version: + description: 'Release version to audit (e.g., 1.13). Leave empty to audit all versions.' + required: false + type: string + dry_run: + description: 'Dry run (only report, do not modify)' + required: true + type: choice + options: + - 'true' + - 'false' + default: 'true' + +jobs: + audit: + uses: JuliaLang/backporter-github-actions-workflows/.github/workflows/audit.yml@main + permissions: + pull-requests: write # necessary to be able to remove labels from PRs + with: + version: ${{ inputs.version }} + dry_run: ${{ inputs.dry_run }}