diff options
author | David Turner <dturner@twosigma.com> | 2017-10-19 16:58:07 -0400 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2017-12-27 22:55:54 +0100 |
commit | 4bbc74ba407e95954bb444df456d37a21363ce6c (patch) | |
tree | 886bed2177a029dd83ff0dd2eebccc977f6f5e23 /org.eclipse.jgit/resources | |
parent | 658486386648f186ed8ce934e0abf4d999252a67 (diff) | |
download | jgit-4bbc74ba407e95954bb444df456d37a21363ce6c.tar.gz jgit-4bbc74ba407e95954bb444df456d37a21363ce6c.zip |
Use submodule name instead of path as key in config
When a submodule is moved, the "name" field remains the same, while
the "path" field changes. Git uses the "name" field in .git/config
when a submodule is initialized, so this patch makes JGit do so too.
Change-Id: I48d8e89f706447b860c0162822a8e68170aae42b
Signed-off-by: David Turner <dturner@twosigma.com>
Diffstat (limited to 'org.eclipse.jgit/resources')
-rw-r--r-- | org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties b/org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties index dacdd05428..f626724c4e 100644 --- a/org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties +++ b/org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties @@ -457,6 +457,7 @@ noMergeBase=No merge base could be determined. Reason={0}. {1} noMergeHeadSpecified=No merge head specified nonBareLinkFilesNotSupported=Link files are not supported with nonbare repos noSuchRef=no such ref +noSuchSubmodule=no such submodule {0} notABoolean=Not a boolean: {0} notABundle=not a bundle notADIRCFile=Not a DIRC file. |