Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge rust-bitcoin#2637: CI: Fix Manage PR job
35687c8 CI: Fix Manage PR job (Tobin C. Harding) Pull request description: In rust-bitcoin#2635 we broke the Manage PR CI job but for some reason CI didn't run on that PR so we merged the breakage. Fix the script by setting default variables when they are not set. Done with ChatGPT. ACKs for top commit: apoelstra: ACK 35687c8 Tree-SHA512: 707ad8872468a9eb6292ae3e8d7896a19baf044eaa28d6c45119d4367a7b14a73923a86cf68d64799df43febb35ecccb39422ce0d28f37100c6120a4316240d1
- Loading branch information