8e8757 Handle the situation where the git repo does not have a master branch

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Handle the situation where the git repo does not have a master branch
    
        
file modified
+16 -13