757a98f Catch the GitError when merging and checking merge status of a PR

Authored and Committed by pingou 8 years ago
    Catch the GitError when merging and checking merge status of a PR
    
        
file modified
+2 -0
file modified
+5 -0