From 2980316246c56b896249f536735b7a48b3e0a41c Mon Sep 17 00:00:00 2001 From: William Hesse Date: Tue, 3 Jan 2017 11:45:43 +0100 Subject: [PATCH] Update FAKE_COMMITS file to trigger github mirror The mirror gets triggered by commits to github, and may have had a temporary outage. --- tools/FAKE_COMMITS | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/FAKE_COMMITS b/tools/FAKE_COMMITS index 34df009f4e6..db8401851cf 100644 --- a/tools/FAKE_COMMITS +++ b/tools/FAKE_COMMITS @@ -20,3 +20,4 @@ Authentication failure flake - rerun all bots Trigger bots after master restart - switch dart2js bots to use downloaded sdk. Trigger bots after master restart. Trigger mirroring of github repository +Trigger mirroring of github repository