| include_defs('//lib/maven.defs') | |
| include_defs('//lib/JGIT_VERSION') | |
| maven_jar( | |
| name = 'jgit-servlet', | |
| id = 'org.eclipse.jgit:org.eclipse.jgit.http.server:' + JGIT_VERS, | |
| sha1 = '927990025d2970995dbb58f03763eeb776fec8fd', | |
| license = 'jgit', | |
| repository = REPO, | |
| deps = ['//lib/jgit/org.eclipse.jgit:jgit'], | |
| unsign = True, | |
| exclude = [ | |
| 'about.html', | |
| 'plugin.properties', | |
| ], | |
| ) |