diff --git a/.github/ISSUE_TEMPLATE/bug-report.yml b/.github/ISSUE_TEMPLATE/bug-report.yml index 74e88f287..9f602de30 100644 --- a/.github/ISSUE_TEMPLATE/bug-report.yml +++ b/.github/ISSUE_TEMPLATE/bug-report.yml @@ -24,7 +24,7 @@ body: - type: dropdown id: issue-type attributes: - label: Issue Type + label: Ticket Type description: What kind of ticket are you opening? options: - "🐛 Bug Report (Something isn't working)" diff --git a/.github/workflows/pr_labeler.yml b/.github/workflows/pr_labeler.yml index 8ec0c65f1..177c20959 100644 --- a/.github/workflows/pr_labeler.yml +++ b/.github/workflows/pr_labeler.yml @@ -17,7 +17,8 @@ name: Pull Request Labeler on: # Allows labeling pull requests when they are opened or updated - pull_request: + # zizmor: ignore[dangerous-triggers] Needed to label PRs from forks + pull_request_target: branches: - main types: [opened, synchronize, reopened, ready_for_review] @@ -30,7 +31,7 @@ jobs: triage: name: Label PR runs-on: ubuntu-latest - if: github.repository == 'huggingface/lerobot' + if: github.repository == 'huggingface/lerobot' && !github.event.pull_request.draft steps: - uses: actions/labeler@v6 with: