Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
COMP: Fix pull request description generated by pre-commit-autoupdate…
… workflow Update workflow introduced in 0f047b6 ("COMP: Add Github workflow for keeping pre-commit configuration up-to-date", 2024-03-17) ensuring the compare links referenced in the pull request description are correct.
- Loading branch information