tree 3265cf2afa86bc0103ee264e9f3dd11d1c17e1c5
parent 0d39decb2f0adcbcb943fd31943fcd20398ebe4e
author Paul Wankadia <junyer@google.com> 1643308107 -0800
committer Paul Wankadia <junyer@google.com> 1643312381 +0000

Close all GitHub pull requests automatically.

Change-Id: Ie0849214f578b47d6da2a50205501f42b1572a52
Reviewed-on: https://code-review.googlesource.com/c/re2/+/59692
Reviewed-by: Jeff Bailey <jeffbailey@google.com>
Reviewed-by: Paul Wankadia <junyer@google.com>