有什么方法可以使用 JGit 确定一个分支是远程分支还是本地分支(或两者兼而有之)?我有:
Map<String, Ref> allRefs = git.getRepository().getAllRefs();
Collection<Ref> values = allRefs.values();
for (Ref ref : values) {
refs.add(ref.getName());
}
这使:
HEAD
refs/heads/tmp01
refs/heads/master
refs/heads/newFeatureBranch
refs/heads/sampleBranch
refs/remotes/origin/master
refs/remotes/origin/newFeatureBranch
所以newFeatureBranch既是本地分支又是远程分支。目前我检查 ref.getName() 是否包含“remotes/origin”。但是有没有更好的方法来确定一个分支是远程的还是本地的?