| package(default_visibility = ["//visibility:public"]) | |
| java_library( | |
| name = "jgit-servlet", | |
| srcs = glob(["src/**"]), | |
| resource_strip_prefix = "org.eclipse.jgit.http.server/resources", | |
| resources = glob(["resources/**"]), | |
| deps = [ | |
| # We want these deps to be provided_deps | |
| "//org.eclipse.jgit:jgit", | |
| "@servlet_api_3_1//jar", | |
| ], | |
| ) |