tree 661b4b0f523151dc6101169eee39c6c9760473ee
parent 114ee5a613007d21ed7a25320f8b5029c9b808bd
author Mike Williams <miwilliams@google.com> 1453743933 -0500
committer Mike Williams <miwilliams@google.com> 1453999439 -0500

Allow deletion of HEAD ref if the repository is bare.

Change-Id: I2281d818c9f76019e7e053e89b20214f2d663957
Signed-off-by: Mike Williams <miwilliams@google.com>