Cirrus: Fix detection of whether a bump PR is already open

pull/118/head
Jeremy Rand 3 years ago
parent 454c384103
commit d851d81219
No known key found for this signature in database
GPG Key ID: FD7550C2EB800711

@ -171,7 +171,11 @@ if [ "$UPDATE_NEEDED" = 1 ]
then
echo "An update is required."
(curl -H "Accept: application/vnd.github.v3+json" "https://api.github.com/repos/${CIRRUS_REPO_FULL_NAME}/pulls?state=open&head=NamecoinBot:bump-deps" | grep -i "NamecoinBot:bump-deps") && (echo "A bump PR is already open; exiting."; exit 0)
if curl -H "Accept: application/vnd.github.v3+json" "https://api.github.com/repos/${CIRRUS_REPO_FULL_NAME}/pulls?state=open&head=NamecoinBot:bump-deps" | grep -i "NamecoinBot:bump-deps"
then
echo "A bump PR is already open; exiting."
exit 0
fi
echo "No bump PR is currently open; proceeding."

Loading…
Cancel
Save