]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 045799f) | patch
Don't throw if a pre-push hook is ignored. 38/120438/3
authorMarkus Duft <markus.duft@ssi-schaefer.com>
Thu, 29 Mar 2018 13:28:07 +0000 (15:28 +0200)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Wed, 11 Apr 2018 01:06:27 +0000 (21:06 -0400)
commitaaf4b355574f1d34c767b3de8c1686f08e849cb3
tree5f663c4c592b408325cbe9d213aa88e159b75f6ftree | snapshot
parent045799f2ec6b8e9143cf88c3ff1c63c45420ea12commit | diff
Don't throw if a pre-push hook is ignored.

This breaks any scenario where native git (with LFS) clones a repository
(and thus installs the hook) and later on JGit is used to push changes.

Change-Id: I2a17753377265a0b612ba3451b9df63a577a1c38
Signed-off-by: Markus Duft <markus.duft@ssi-schaefer.com>
org.eclipse.jgit/src/org/eclipse/jgit/hooks/Hooks.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit