a093e7d
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>