2 Pull requests merged by 2 people

• Update pre-commit and its dependencies

  #142 merged Aug 6, 2025

• Fix pre-commit workflow and other CI updates/cleanup

  #138 merged Aug 1, 2025

1 Pull request opened by 1 person

• Switch pre-commit update workflow to use two tokens

  #141 opened Aug 6, 2025