aboutsummaryrefslogtreecommitdiffstats
path: root/org.eclipse.jgit.http.server/src/org
diff options
context:
space:
mode:
authorIvan Frade <ifrade@google.com>2024-12-19 15:14:54 -0800
committerIvan Frade <ifrade@google.com>2024-12-19 15:14:54 -0800
commit31db36bbea6d081c8714a4c7ed3f5d81112ae8b8 (patch)
tree6045f1f100078b863103a9bb456ad39a2b628f9e /org.eclipse.jgit.http.server/src/org
parenta783bb76caa148577d2f5ce11ef037a547d51c34 (diff)
downloadjgit-31db36bbea6d081c8714a4c7ed3f5d81112ae8b8.tar.gz
jgit-31db36bbea6d081c8714a4c7ed3f5d81112ae8b8.zip
http.server/BUILD: expose servlet resources as target
JGit has moved to jakarta servlet-api, but gerrit is still in the javax version. This is blocking gerrit to update their jgit code. Gerrit can workaround this rebuilding the jar of jgit-servlet but it is complicated to pass-through the resources. Expose the resources of the servlet as a target, to help gerrit build a javax version of the jgit-servlet. Change-Id: Ifd794e4222ad442f4a538a4d38caa73d58be0f6d
Diffstat (limited to 'org.eclipse.jgit.http.server/src/org')
0 files changed, 0 insertions, 0 deletions