tree 641330b09ff37a11af115e5c1b4633b6e78cfdd3
parent 60e7e35c7c8ee042d41b5889e7eb18dc7cead694
author David Ostrovsky <david@ostrovsky.org> 1780073139 +0200
committer David Ostrovsky <david@ostrovsky.org> 1780319595 +0200

Migrate to Bazel modules

Mirror the structure used in Gerrit: split MODULE.bazel into
include() fragments under tools/ for bazlets, repos, and Java deps,
and consume jgit as an in-tree bazel_dep via local_path_override.

All maven_jar declarations are replaced by a single RJE
maven.install in tools/java_deps.MODULE.bazel publishing the shared
"external_deps" repository, consistent with Gerrit and JGit.

The modules/jgit submodule is bumped to a servlet-4 commit that
ships a proper MODULE.bazel so jgit can be consumed as a Bazel
module.

Force Gitiles' root-selected Maven versions for artifacts that may
also be contributed by JGit, keeping the shared Maven graph consistent
under Bzlmod.

Bazel version is bumped to 8.6.0 and rules_java is pinned to 8.16.1.

Java version is updated to Java 21 by default, and the obsolete
Java 17 Error Prone toolchain registration and definition are removed.

Bug: Issue 303819949
Change-Id: I854cc58ad6129a053fd98073ad04af99317bf8ce