Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This avoids an issue where numeric release names such as 2023.1 don't match the stringified release 2023.1, breaking our ignore_releases rules.
- Loading branch information