Commit 4847cca148b9969c7270f53e12008d8be7dd01a7

Stefan Sperling 2018-03-12T20:56:31

make is_git_repo() check for a usable HEAD reference