tree b4d4006b5be370eaa1e8cd9842a3c945e46588a9
parent a1a207b53f52a567c6f27f52013303420c344189
author David Ostrovsky <david@ostrovsky.org> 1782466242 +0200
committer David Ostrovsky <david@ostrovsky.org> 1782825529 +0200

Bazel: Move Gitiles off JGit servlet-4 via EE8 bridge

JGit master uses jakarta.servlet in servlet-facing modules while Gitiles
still runs on Jetty 12 EE8 and javax.servlet. Maintaining a Gitiles-only
servlet-4 JGit branch is not sustainable; switch Gitiles to consume the
JGit-owned EE8 servlet bridge so modules/jgit can advance to master.

Rewire //lib:jgit-servlet to export
@jgit//org.eclipse.jgit.http.server.ee8:jgit-servlet-ee8. The generated
EE8 jar keeps the original JGit Java packages and rewrites only servlet
imports from jakarta.servlet to javax.servlet, so Gitiles code keeps its
existing imports. Gitiles already builds on Jetty EE8 and
javax.servlet-api 4.0.1, so only the jgit-servlet dependency changes.

Bump the modules/jgit gitlink off the servlet-4 branch to the JGit
master commit that provides the EE8 bridge targets (the same commit the
Gerrit companion pins). Re-pin external_deps.lock.json for the resulting
jgit-master dependency set.

Change-Id: I9b9006e51f701c2c0db43178ae82e4691ec8eb68