3 Commits

Author	SHA1	Message	Date
Holly Gong	61d00b74ee	Fix pr helper (#10542) ... Fix https://github.com/google/oss-fuzz/issues/10515: 1. Avoid repeated message: handle project with sub directory. 2. Simplify the email verification message 3. Link pull request without reference	2023-06-19 10:08:16 +10:00
jonathanmetzman	a74454f099	Fix issues with PR helper (#10519) ... 1. Don't repeat criticality score for each file, only for each project. 2. Don't link to past issues to avoid notifying people unnecessarily 3. Don't @-mention people so we don't send more notifications.	2023-06-14 09:10:05 -04:00
Holly Gong	8302aede5e	Add project integration PR helper (#10376) ... Sample PRs (external users): In the contact list: https://github.com/google/oss-fuzz/pull/10422#issuecomment-1567849463 Previous contributed: https://github.com/google/oss-fuzz/pull/10419#issuecomment-1567789169 Unknown contributor: https://github.com/google/oss-fuzz/pull/10416#issuecomment-1567755392 Integrating new project: https://github.com/google/oss-fuzz/pull/10439#issuecomment-1572939010 Skip commenting for internal members	2023-06-06 04:35:46 +00:00