Changed a flag from false to true for continuous_integration in order to
allow making PRs directly in github
Change-Id: I2862d267b00254f59db1a8b0f888992268320284
diff --git a/gerrit-github-sync/gerrit-github-sync.sh b/gerrit-github-sync/gerrit-github-sync.sh
index 8dce71d..856c9e4 100644
--- a/gerrit-github-sync/gerrit-github-sync.sh
+++ b/gerrit-github-sync/gerrit-github-sync.sh
@@ -22,7 +22,7 @@
REPOSITORIES=(
"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 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"