1 files changed, 1 insertions, 1 deletions

diff --git a/tools/push b/tools/push
index 5bb95fb6..926f1661 100755
--- a/tools/push
+++ b/tools/push
@@ -8,4 +8,4 @@ git push --tags mirror
 
 git remote update
 
-github network fetch
+#github network fetch