diff options
| author | Ivan Frade <ifrade@google.com> | 2024-12-19 15:14:54 -0800 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2024-12-20 15:48:50 +0100 |
| commit | d5cc102e7b9b6104a191be0c64017793432bd9dc (patch) | |
| tree | de903cf5235325fdb54e45f1342b519d94d59518 /WORKSPACE | |
| parent | 1177e1e4a9b6fa52f4e40fe961263cd510114f81 (diff) | |
| download | jgit-stable-6.10.tar.gz jgit-stable-6.10.zip | |
http.server/BUILD: expose servlet resources as targetstable-6.10
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
(cherry picked from commit 31db36bbea6d081c8714a4c7ed3f5d81112ae8b8)
Diffstat (limited to 'WORKSPACE')
0 files changed, 0 insertions, 0 deletions