David Pursehouse 527fc388dd Upgrade JGit to 4.4.1.201607150455-r.144-gb67df51
This snapshot includes the following changes since the previous:

b67df51 CLI: implement option -d for deleting tags
34673f0 Added a clean command.
d52bf2e Add specific exception for LFS unavailable
ac85672 Add Javadoc for LFS exception messages
3100662 ReceivePack: integrate push option parsing into recvCommands
2fd4559 ReceivePack: simplify getPushOptions
8e00a31 ReceivePack: allow push options to be set

Change-Id: I266d9663e32bd854a55c14ef8f7c2b427bf2c842
2016-08-31 11:49:24 +09:00

26 lines
591 B
Python

include_defs('//lib/maven.defs')
include_defs('//lib/JGIT_VERSION')
maven_jar(
name = 'jgit',
id = 'org.eclipse.jgit:org.eclipse.jgit:' + VERS,
bin_sha1 = 'b28b6e0d14adfcf0a3afcf4002fe16dc2cc3e453',
src_sha1 = '362c6913beb90a278c5cd479f7536813fe007b60',
license = 'jgit',
repository = REPO,
unsign = True,
deps = [':ewah'],
exclude = [
'META-INF/eclipse.inf',
'about.html',
'plugin.properties',
],
)
maven_jar(
name = 'ewah',
id = 'com.googlecode.javaewah:JavaEWAH:0.7.9',
sha1 = 'eceaf316a8faf0e794296ebe158ae110c7d72a5a',
license = 'Apache2.0',
)