As of today we've deleted the internal repository that we'd been syncing from, and all development on Nomulus is happening fully in the open on
GitHub. We've also switched the build system from Bazel to Gradle, and are working on other public-ecosystem-friendly changes in that vein.