salmanishere / pagure

Forked from pagure 5 years ago
Clone

a093e7d Catch exception thrown by merge_pull_request

Authored and Committed by pingou 5 years ago
    Catch exception thrown by merge_pull_request
    
    Let's catch these exception and just ignore them, they will be thrown
    elsewhere and in the tasks we can't do anything about it anyway
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>
    
        
file modified
+6 -6