commit c509438945aa0d4fb0fba211ff08d10130b89839
author Damien Martin-Guillerez <dmarting@google.com> Mon Dec 04 10:26:42 2017 +0100
committer Damien Martin-Guillerez <dmarting@google.com> Mon Dec 04 10:26:42 2017 +0100
tree 883adbb8b8d9bf253a47aacd8ec8452242be4724
parent 45790a582a1d8916e0fd0d83d060bb074bc0037d

Remove devtools sync

Change-Id: I550b1118826ef1f719ab7a69479b27e2464e6012

gerrit-github-sync/gerrit-github-sync.sh

diff --git a/gerrit-github-sync/gerrit-github-sync.sh b/gerrit-github-sync/gerrit-github-sync.sh
index 2256482..cb47c26 100644
--- a/gerrit-github-sync/gerrit-github-sync.sh
+++ b/gerrit-github-sync/gerrit-github-sync.sh
@@ -23,7 +23,6 @@
     "https://bazel.googlesource.com/bazel git@github.com:bazelbuild/bazel.git bazel false master"
     "https://bazel.googlesource.com/tulsi git@github.com:bazelbuild/tulsi.git tulsi false master"
     "https://bazel.googlesource.com/continuous-integration git@github.com:bazelbuild/continuous-integration.git continuous-integration true master"
-    "https://bazel.googlesource.com/devtools git@github.com:bazelbuild/devtools.git devtools false master"
     "https://bazel.googlesource.com/eclipse git@github.com:bazelbuild/eclipse.git eclipse true master"
     "https://bazel.googlesource.com/bazel-toolchains git@github.com:bazelbuild/bazel-toolchains.git bazel-toolchains false master"
 )