Allow Trevor and me to request PR benchmarks (#6256)

This commit is contained in:
Jamey Sharp
2023-04-20 15:13:32 -07:00
committed by GitHub
parent e6339b2725
commit 8376944b3f

View File

@@ -31,7 +31,9 @@ jobs:
|| ('bbouvier' == github.event.comment.user.login)
|| ('bjorn3' == github.event.comment.user.login)
|| ('cfallin' == github.event.comment.user.login)
|| ('elliottt' == github.event.comment.user.login)
|| ('fitzgen' == github.event.comment.user.login)
|| ('jameysharp' == github.event.comment.user.login)
|| ('jlb6740' == github.event.comment.user.login)
|| ('sparker-arm' == github.event.comment.user.login)
|| ('uweigand' == github.event.comment.user.login))