99d0d4 Handle PR closed but not merged

Authored and Committed by Pierre-Yves Chibon 9 years ago
    Handle PR closed but not merged
    
    In these cases repo.walk() may not be able to find the desired commit
    
        
file modified
+8 -4