settings: name: oss-fuzz repos: - https://github.com/google/oss-fuzz collections: - id: Fuzzing Issues name: Fuzzing Issues dedup: true description: > Status of issues across oss-fuzz repos rules: # People who need a response - fuzz-issue-updated-support # fuzzing issues - fuzz-bugs - fuzz-priority # Issues needing reprioritization - fuzz-many-reactions - fuzz-many-commenters - fuzz-issue-zombies # People with questions - fuzz-issue-has-question - id: PRs - fuzzing name: OSS Fuzz PRs description: > Status of PRs in OSS-Fuzz rules: - prs-fuzz - fuzz-pr-approved-stale - fuzz-pr-unapproved-stale rules: ### Pull requests prs-fuzz: name: "OSS Fuzz PRs" type: pull_request resolution: "Review requests or mark them as do-not-merge/work-in-progress" filters: - title: "!.*(WIP|wip).*" - tag: "!(changes-requested|draft|approved)" repos: - https://github.com/google/oss-fuzz # PR's needing closure fuzz-pr-approved-stale: name: "Pull requests: Approved and getting old" resolution: "Merge PR" type: pull_request filters: - label: "approved" - updated: +2d - responded: +1d repos: - https://github.com/google/oss-fuzz fuzz-pr-unapproved-stale: name: "Pull Requests: Stale" resolution: "Add comment and/or close PR" type: pull_request filters: - created: +3d - updated: +2d - responded: +1d - tag: "!draft" repos: - https://github.com/google/oss-fuzz pr-approved-stale: name: "Pull requests: Approved and getting old" resolution: "Merge PR" type: pull_request filters: - label: "approved" - updated: +5d - responded: +2d pr-unapproved-stale: name: "Pull Requests: Stale" type: pull_request resolution: "Add comment and/or close PR" filters: - created: +20d - updated: +5d - responded: +2d ### Fuzzing Issues fuzz-bugs: name: "Fuzzing bugs that have not been commented on for 6 months" resolution: "comment a status update" type: issue filters: - label: "bug" - responded: +180d - tag: "!member-last" repos: - https://github.com/google/oss-fuzz fuzz-priority: name: "Fuzzing priority issues that have not been commented on for 6 months" resolution: "comment a status update" type: issue filters: - label: "priority" - responded: +180d - tag: "!member-last" repos: - https://github.com/google/oss-fuzz fuzz-many-reactions: name: "many reactions, low priority" resolution: "Upgrade to priority" filters: - reactions: ">3" - reactions-per-month: ">0.75" - label: "!priority" repos: - https://github.com/google/oss-fuzz fuzz-many-commenters: name: "many commenters, low priority" resolution: "Upgrade to priority" filters: - commenters: ">2" - commenters-per-month: ">1.9" - created: "+30d" - label: "!priority" repos: - https://github.com/google/oss-fuzz fuzz-issue-zombies: name: "Screaming into the void" resolution: "Reopen, or ask folks to open a new issue" type: issue filters: - state: closed - updated: -7d - tag: recv - comments-while-closed: ">1" repos: - https://github.com/google/oss-fuzz # People with questions fuzz-issue-has-question: name: "Overdue answers for a question" resolution: "Add a comment" type: issue filters: - tag: recv-q - tag: "!member-last" - tag: "!contributor-last" - responded: +6d repos: - https://github.com/google/oss-fuzz fuzz-issue-updated-support: name: "Open support requests" resolution: "Add a comment" type: issue filters: - tag: recv - tag: "!member-last" - tag: "!contributor-last" - responded: +6d repos: - https://github.com/google/oss-fuzz