From 3511b30283e17d92a333b5e7d31a2b78db9b8819 Mon Sep 17 00:00:00 2001 From: Simon Mo Date: Thu, 23 Jul 2020 17:20:48 -0700 Subject: [PATCH] Temporarily disable remote watcher (#9669) --- ci/remote-watch.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/ci/remote-watch.py b/ci/remote-watch.py index b4261e16c..5db1d5ea5 100755 --- a/ci/remote-watch.py +++ b/ci/remote-watch.py @@ -253,6 +253,9 @@ def main(program, *args): if __name__ == "__main__": + # Temporarily disable remote-watcher. + sys.exit(0) + logging.basicConfig( format="%(levelname)s: %(message)s", stream=sys.stderr,