-
Committer:
Mike Frysinger
-
Date:
2018-12-07 01:49:55 UTC
-
Revision ID:
git-v1:5467393a3d1e7ab929fd01d79971701bf4e2c2c6
support mistaken-pull-closer for automatically clearing incoming PRs
Change-Id: I2f69a8152958bc1425efe569bace1b6f9702896d
Reviewed-on: https://chromium-review.googlesource.com/c/1366918
Reviewed-by: Mark Mentovai <mark@chromium.org>