commit | d98c3fddc73b40f7bbf7accc06b1a8c2ea7969fc | [log] [tgz] |
---|---|---|
author | Paul Wankadia <junyer@google.com> | Thu Jan 27 10:28:27 2022 -0800 |
committer | Paul Wankadia <junyer@google.com> | Thu Jan 27 19:39:41 2022 +0000 |
tree | 3265cf2afa86bc0103ee264e9f3dd11d1c17e1c5 | |
parent | 0d39decb2f0adcbcb943fd31943fcd20398ebe4e [diff] |
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>