Minor fix (check for curl failure before looking at the pull request status).
Minor fix (check for curl failure before looking at the pull request status).


Former-commit-id: 0c4e715c7dc7b0cec2eb6cecaef9140774d753f1 [formerly 6caae81bb0dbf42aa32e8e6eea31e05873cc2d48]
Former-commit-id: dfc31293e5139f61fb1b9ec7e33e53ce98b5a3f2
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine