deploy: add watched prs to git after fetching

This commit is contained in:
Aaron Bieber 2023-06-01 18:46:23 -06:00
parent 40fb017c00
commit eca69f090c
No known key found for this signature in database

View File

@ -47,6 +47,7 @@ if [ "$1" = "watch" ]; then
pr="$2" pr="$2"
curl -s -o - https://pr-status.humpback-trout.ts.net/${pr} | jq -rS 'del(.queryTime)' >pull_requests/${pr}.json curl -s -o - https://pr-status.humpback-trout.ts.net/${pr} | jq -rS 'del(.queryTime)' >pull_requests/${pr}.json
msg "Added watch for ${pr}: $(jq -r .title <pull_requests/${pr}.json)" msg "Added watch for ${pr}: $(jq -r .title <pull_requests/${pr}.json)"
git add pull_requests/${pr}.json
fi fi
exit 0 exit 0
fi fi