]> source.dussan.org Git - jgit.git/commit
Merge branch 'stable-5.0' 10/123410/1
authorDavid Pursehouse <david.pursehouse@gmail.com>
Sun, 27 May 2018 23:56:27 +0000 (08:56 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Sun, 27 May 2018 23:56:27 +0000 (08:56 +0900)
commit2ab42b74d9803d8239ff4f9eda1cf153666a4079
treec80eed44bac15145e3062855d6de1fe9888e5ab8
parent2f1b4ffcd297d9dffd8f69ee4c7e2976a714224a
parentde21c58d03d9f54e0a80d358948517d3ea518312
Merge branch 'stable-5.0'

* stable-5.0:
  Don't prune symbolic refs when fetch.prune = true
  Prepare 5.0.0-SNAPSHOT builds
  JGit v5.0.0.201805221745-rc1
  Prepare 5.0.0-SNAPSHOT builds
  JGit v5.0.0.201805151920-m7

Change-Id: I9a9a4a3ab36a2bd83e4eaed90151740d59af171b