]> git.ipfire.org Git - thirdparty/git.git/search
get_local_heads(): do not return random pointer if there is no head