1settings: 2 name: oss-fuzz 3 repos: 4 - https://github.com/google/oss-fuzz 5 6collections: 7 - id: Fuzzing Issues 8 name: Fuzzing Issues 9 dedup: true 10 description: > 11 Status of issues across oss-fuzz repos 12 rules: 13 # People who need a response 14 - fuzz-issue-updated-support 15 # fuzzing issues 16 - fuzz-bugs 17 - fuzz-priority 18 # Issues needing reprioritization 19 - fuzz-many-reactions 20 - fuzz-many-commenters 21 - fuzz-issue-zombies 22 # People with questions 23 - fuzz-issue-has-question 24 - id: PRs - fuzzing 25 name: OSS Fuzz PRs 26 description: > 27 Status of PRs in OSS-Fuzz 28 rules: 29 - prs-fuzz 30 - fuzz-pr-approved-stale 31 - fuzz-pr-unapproved-stale 32 33 34rules: 35 ### Pull requests 36 37 prs-fuzz: 38 name: "OSS Fuzz PRs" 39 type: pull_request 40 resolution: "Review requests or mark them as do-not-merge/work-in-progress" 41 filters: 42 - title: "!.*(WIP|wip).*" 43 - tag: "!(changes-requested|draft|approved)" 44 repos: 45 - https://github.com/google/oss-fuzz 46 47 # PR's needing closure 48 fuzz-pr-approved-stale: 49 name: "Pull requests: Approved and getting old" 50 resolution: "Merge PR" 51 type: pull_request 52 filters: 53 - label: "approved" 54 - updated: +2d 55 - responded: +1d 56 repos: 57 - https://github.com/google/oss-fuzz 58 59 fuzz-pr-unapproved-stale: 60 name: "Pull Requests: Stale" 61 resolution: "Add comment and/or close PR" 62 type: pull_request 63 filters: 64 - created: +3d 65 - updated: +2d 66 - responded: +1d 67 - tag: "!draft" 68 repos: 69 - https://github.com/google/oss-fuzz 70 71 pr-approved-stale: 72 name: "Pull requests: Approved and getting old" 73 resolution: "Merge PR" 74 type: pull_request 75 filters: 76 - label: "approved" 77 - updated: +5d 78 - responded: +2d 79 80 pr-unapproved-stale: 81 name: "Pull Requests: Stale" 82 type: pull_request 83 resolution: "Add comment and/or close PR" 84 filters: 85 - created: +20d 86 - updated: +5d 87 - responded: +2d 88 89 90 ### Fuzzing Issues 91 92 fuzz-bugs: 93 name: "Fuzzing bugs that have not been commented on for 6 months" 94 resolution: "comment a status update" 95 type: issue 96 filters: 97 - label: "bug" 98 - responded: +180d 99 - tag: "!member-last" 100 repos: 101 - https://github.com/google/oss-fuzz 102 103 104 fuzz-priority: 105 name: "Fuzzing priority issues that have not been commented on for 6 months" 106 resolution: "comment a status update" 107 type: issue 108 filters: 109 - label: "priority" 110 - responded: +180d 111 - tag: "!member-last" 112 repos: 113 - https://github.com/google/oss-fuzz 114 115 116 fuzz-many-reactions: 117 name: "many reactions, low priority" 118 resolution: "Upgrade to priority" 119 filters: 120 - reactions: ">3" 121 - reactions-per-month: ">0.75" 122 - label: "!priority" 123 repos: 124 - https://github.com/google/oss-fuzz 125 126 fuzz-many-commenters: 127 name: "many commenters, low priority" 128 resolution: "Upgrade to priority" 129 filters: 130 - commenters: ">2" 131 - commenters-per-month: ">1.9" 132 - created: "+30d" 133 - label: "!priority" 134 repos: 135 - https://github.com/google/oss-fuzz 136 137 fuzz-issue-zombies: 138 name: "Screaming into the void" 139 resolution: "Reopen, or ask folks to open a new issue" 140 type: issue 141 filters: 142 - state: closed 143 - updated: -7d 144 - tag: recv 145 - comments-while-closed: ">1" 146 repos: 147 - https://github.com/google/oss-fuzz 148 149 # People with questions 150 fuzz-issue-has-question: 151 name: "Overdue answers for a question" 152 resolution: "Add a comment" 153 type: issue 154 filters: 155 - tag: recv-q 156 - tag: "!member-last" 157 - tag: "!contributor-last" 158 - responded: +6d 159 repos: 160 - https://github.com/google/oss-fuzz 161 162 fuzz-issue-updated-support: 163 name: "Open support requests" 164 resolution: "Add a comment" 165 type: issue 166 filters: 167 - tag: recv 168 - tag: "!member-last" 169 - tag: "!contributor-last" 170 - responded: +6d 171 repos: 172 - https://github.com/google/oss-fuzz 173