]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 114ee5a) | patch
Allow deletion of HEAD ref if the repository is bare. 10/65310/2
authorMike Williams <miwilliams@google.com>
Mon, 25 Jan 2016 17:45:33 +0000 (12:45 -0500)
committerMike Williams <miwilliams@google.com>
Thu, 28 Jan 2016 16:43:59 +0000 (11:43 -0500)
commit48ad6842fc20ce1aaf1198d5f30239633c89c52c
tree661b4b0f523151dc6101169eee39c6c9760473eetree | snapshot
parent114ee5a613007d21ed7a25320f8b5029c9b808bdcommit | diff
Allow deletion of HEAD ref if the repository is bare.

Change-Id: I2281d818c9f76019e7e053e89b20214f2d663957
Signed-off-by: Mike Williams <miwilliams@google.com>
org.eclipse.jgit.test/tst/org/eclipse/jgit/internal/storage/file/RefUpdateTest.java diff | blob | history
org.eclipse.jgit/src/org/eclipse/jgit/lib/RefUpdate.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit