Community
Participate
Working Groups
let the repo be 'https://github.com/vuvova/gdb-tools'. This repo doesnot have master branch. cloning master branch from shell gives this error: $: git clone https://github.com/vuvova/gdb-tools --branch master Cloning into 'gdb-tools'... fatal: Remote branch master not found in upstream origin But when running the code: Git.cloneRepository() .setProgressMonitor(new TextProgressMonitor(new PrintWriter(System.out))) .setURI(uri) .setDirectory(dir) .setBranch("master") .call() shows as if repo is cloned. But when i see in the folder, only .git is present. It doesnot even throws exception that master branch is not available.
New Gerrit change created: https://git.eclipse.org/r/c/jgit/jgit/+/175264
Gerrit change https://git.eclipse.org/r/c/jgit/jgit/+/175264 was merged to [master]. Commit: http://git.eclipse.org/c/jgit/jgit.git/commit/?id=64cb7148ac64855feb7f7649d1d168d7c6d37860