devtools: Remove the release.java.syncbase related bits.
This is a rollback of https://v.io/c/22447.
Change-Id: I16419c836a139e6088d7554290ca97b224b13122
diff --git a/jiri-test/internal/test/github.go b/jiri-test/internal/test/github.go
index 8489b3e..d4d7ded 100644
--- a/jiri-test/internal/test/github.go
+++ b/jiri-test/internal/test/github.go
@@ -80,11 +80,6 @@
github: "git@github.com:vanadium/java.git",
},
Mirror{
- name: "java.syncbase",
- googlesource: "https://vanadium.googlesource.com/release.java.syncbase",
- github: "git@github.com:vanadium/java.syncbase.git",
- },
- Mirror{
name: "js",
googlesource: "https://vanadium.googlesource.com/release.js.core",
github: "git@github.com:vanadium/js.git",
diff --git a/tooldata/data/config.v1.xml b/tooldata/data/config.v1.xml
index 3c6643f..21f1d0f 100644
--- a/tooldata/data/config.v1.xml
+++ b/tooldata/data/config.v1.xml
@@ -19,7 +19,6 @@
<project>release.go.x.lib</project>
<project>release.go.x.ref</project>
<project>release.java</project>
- <project>release.java.syncbase</project>
<project>release.mojo.discovery</project>
<project>release.mojo.shared</project>
<project>release.mojo.syncbase</project>