diff options
| author | Thomas Wolf <thomas.wolf@paranor.ch> | 2020-09-10 23:39:07 +0200 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2020-09-21 16:52:43 -0400 |
| commit | cb553e3583aec02336edd1d4115ac8a14537a475 (patch) | |
| tree | 3af80560beead7d71913f73d62d0b9a2e42c2836 /org.eclipse.jgit.test/src | |
| parent | 566e49d7d39b12c785be24b8b61b4960a4b7ea17 (diff) | |
| download | jgit-cb553e3583aec02336edd1d4115ac8a14537a475.tar.gz jgit-cb553e3583aec02336edd1d4115ac8a14537a475.zip | |
IndexDiffFilter: handle path prefixes correctly
When comparing git directory paths to check whether one is a prefix
of another, one must add a slash to avoid false prefix matches when
one directory name is a prefix of another. The path "audio" is not
a prefix of the path "audio-new", but would be a prefix of a path
"audio/new".
Bug: 566799
Change-Id: I6f671ca043c7c2c6044eb05a71dc8cca8d0ee040
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Diffstat (limited to 'org.eclipse.jgit.test/src')
0 files changed, 0 insertions, 0 deletions