Commit cb562c3fb305b7fa2ddc46983a6107f7b8340293

Carlos Martín Nieto 2014-03-17T17:36:51

repo: remove test which deletes HEAD This is not something anybody would ever do; removing HEAD makes the .git/ directory no longer be a repository, so we wouldn't be expected to handle such a situation.