101d1f Reset the pull-request's merge_status if things have changed

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Reset the pull-request's merge_status if things have changed
    
        
file modified
+8 -0