Skip to content

Conversation

@pre-commit-ci
Copy link
Contributor

@pre-commit-ci pre-commit-ci bot commented Aug 25, 2025

@github-project-automation github-project-automation bot moved this to 🆕 New in Dev Board Aug 25, 2025
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch 2 times, most recently from 6d54623 to 83af771 Compare September 8, 2025 17:07
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch from 83af771 to 82c2ba5 Compare September 15, 2025 17:09
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch 2 times, most recently from 9290d69 to e5a8db2 Compare September 29, 2025 17:04
@cclauss cclauss mentioned this pull request Oct 2, 2025
3 tasks
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch 2 times, most recently from 26015d3 to f1eca6f Compare October 13, 2025 17:10
updates:
- [github.com/astral-sh/ruff-pre-commit: v0.12.9 → v0.14.1](astral-sh/ruff-pre-commit@v0.12.9...v0.14.1)
- [github.com/pre-commit/mirrors-mypy: v1.17.1 → v1.18.2](pre-commit/mirrors-mypy@v1.17.1...v1.18.2)
@pre-commit-ci pre-commit-ci bot force-pushed the pre-commit-ci-update-config branch from f1eca6f to 036f19b Compare October 20, 2025 17:06
@cclauss
Copy link
Contributor

cclauss commented Oct 23, 2025

pre-commit.ci run

@henrikmidtiby Can you as a repo maintainer please run the above command? I am not a maintainer so I will get a 👎.

re-running a pull request: you can trigger a re-run on a pull request by commenting pre-commit.ci run (must appear on a line by itself).

@henrikmidtiby
Copy link
Contributor

pre-commit.ci run

@github-project-automation github-project-automation bot moved this from 🆕 New to ❌ Rejected in Dev Board Oct 24, 2025
@henrikmidtiby henrikmidtiby reopened this Oct 24, 2025
@github-project-automation github-project-automation bot moved this from ❌ Rejected to 📋 Backlog in Dev Board Oct 24, 2025
@henrikmidtiby henrikmidtiby enabled auto-merge (squash) October 24, 2025 12:13
@henrikmidtiby henrikmidtiby added pr:bugfix Bug fix for use in PRs solving a specific issue:bug pr:easy review There is nothing particular (i.e, it's about a general/small thing) to know for review! and removed pr:bugfix Bug fix for use in PRs solving a specific issue:bug labels Oct 24, 2025
@henrikmidtiby henrikmidtiby self-requested a review October 24, 2025 12:40
Copy link
Contributor

@henrikmidtiby henrikmidtiby left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@henrikmidtiby henrikmidtiby merged commit e489ebf into main Oct 24, 2025
38 checks passed
@henrikmidtiby henrikmidtiby deleted the pre-commit-ci-update-config branch October 24, 2025 12:41
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Dev Board Oct 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr:easy review There is nothing particular (i.e, it's about a general/small thing) to know for review!

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants