Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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.
- Loading branch information