28fa3d Adjust merge_pull_request to be able to handle remote pull-requests

Authored and Committed by Pierre-Yves Chibon 8 years ago
    Adjust merge_pull_request to be able to handle remote pull-requests
    
        
file modified
+15 -6