diff options
| author | Alex Blewitt <alex.blewitt@gmail.com> | 2013-04-27 11:34:57 +0100 |
|---|---|---|
| committer | Alex Blewitt <alex.blewitt@gmail.com> | 2013-04-27 11:42:58 +0100 |
| commit | 37f0e324b5e82f55371ef8adc195d35f7a196c58 (patch) | |
| tree | 3e699d097e27c92f98f4905ed944934782dc6a77 /pom.xml | |
| parent | be047307fcd179934e0cd3a0cf4ffe9c758d5370 (diff) | |
| download | jgit-37f0e324b5e82f55371ef8adc195d35f7a196c58.tar.gz jgit-37f0e324b5e82f55371ef8adc195d35f7a196c58.zip | |
Allow deletions to occur when there is no HEAD
If the HEAD is not present in a repository, then there is a
NullPointerException thrown in the delete code. Since this only
exists to verify if the deletion is not the HEAD reference, then
skip this check if the HEAD cannot be found.
Bug: 406722
Change-Id: I882497202d986096513a4d791cd07fa935a3f9e4
Signed-off-by: Alex Blewitt <alex.blewitt@gmail.com>
Diffstat (limited to 'pom.xml')
0 files changed, 0 insertions, 0 deletions