Remove Tulsi from gitsync
The Gerrit repository is no longer being used since a few months, instead GitHub is the source-of-truth.
# direction can be ==> or <=>
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 upstream"
)
set -euxo pipefail
