Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The previous one relies on CI automation that cannot be maintained without the repo owner, who is absent. The new script can be run locally by any authorized maintainer.
- Loading branch information