Add devtools to the list of synced project
@@ -23,6 +23,7 @@ REPOSITORIES=(
"https://bazel.googlesource.com/bazel git@github.com:bazelbuild/bazel.git bazel master"
"https://bazel.googlesource.com/tulsi git@github.com:bazelbuild/tulsi.git tulsi master"
"https://bazel.googlesource.com/continuous-integration git@github.com:bazelbuild/continuous-integration.git continuous-integration master"
+ "https://bazel.googlesource.com/devtools git@github.com:bazelbuild/devtools.git devtools master"
)
# Install certificates
