Adithya Chakilam 0bd2f4bf77 Introduce getMergedInto(RevCommit commit, Collection<Ref> refs) ... In cases where we need to determine if a given commit is merged into many refs, using isMergedInto(base, tip) for each ref would cause multiple unwanted walks. getMergedInto() marks the unreachable commits as uninteresting which would then avoid walking that same path again. Using the same api, also introduce isMergedIntoAny() and isMergedIntoAll() Change-Id: I65de9873dce67af9c415d1d236bf52d31b67e8fe Signed-off-by: Adithya Chakilam <quic_achakila@quicinc.com> Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>		2021-03-14 13:45:29 +01:00
..
.settings	Remove unused API problem filters	2021-03-13 17:12:07 -05:00
META-INF	Prepare 5.12.0-SNAPSHOT builds	2021-03-10 16:34:28 +01:00
findBugs	[spotbugs] Silence NP_BOOLEAN_RETURN_NULL in IgnoreNode#checkIgnored	2020-12-22 10:52:59 +01:00
resources/org/eclipse/jgit	HTTP cookies: do tilde expansion on http.cookieFile	2021-03-12 12:02:22 +01:00
src/org/eclipse/jgit	Introduce getMergedInto(RevCommit commit, Collection<Ref> refs)	2021-03-14 13:45:29 +01:00
.classpath	Change JGit minimum execution environment to JavaSE-1.8	2016-09-20 11:32:36 +02:00
.fbprefs	…
.gitignore	…
.project	…
BUILD	Fix stamping to produce stable file timestamps	2020-12-14 15:45:29 +01:00
about.html	SHA-1: collision detection support	2017-02-28 16:38:43 -08:00
build.properties	…
plugin.properties	Fix bundle localization of Apache SSH bundle	2019-06-21 17:54:06 +02:00
pom.xml	Prepare 5.12.0-SNAPSHOT builds	2021-03-10 16:34:28 +01:00