579978 If the pull-request already has a merge_status, rely on it

Authored and Committed by Pierre-Yves Chibon 10 years ago
    If the pull-request already has a merge_status, rely on it
    
        
file modified
+6 -0