Skip to content

⬆️🩹 Update minor stable updates to v1.47.0#715

Merged
renovate[bot] merged 1 commit into
mainfrom
renovate/minor-stable-updates
Jun 6, 2026
Merged

⬆️🩹 Update minor stable updates to v1.47.0#715
renovate[bot] merged 1 commit into
mainfrom
renovate/minor-stable-updates

Conversation

@renovate
Copy link
Copy Markdown
Contributor

@renovate renovate Bot commented Jun 6, 2026

This PR contains the following updates:

Package Type Update Change Pending
adhtruong/mirrors-typos repository minor v1.46.3v1.47.0 v1.47.2 (+1)

Note: The pre-commit manager in Renovate is not supported by the pre-commit maintainers or community. Please do not report any problems there, instead create a Discussion in the Renovate repository if you have any questions.


Release Notes

adhtruong/mirrors-typos (adhtruong/mirrors-typos)

v1.47.0

Compare Source


Configuration

📅 Schedule: (UTC)

  • Branch creation
    • "every weekend"
  • Automerge
    • At any time (no schedule defined)

🚦 Automerge: Enabled.

Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.

Signed-off-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@renovate renovate Bot added dependencies Pull requests that update a dependency file pre-commit labels Jun 6, 2026
@renovate renovate Bot enabled auto-merge (squash) June 6, 2026 00:32
@renovate renovate Bot added the dependencies Pull requests that update a dependency file label Jun 6, 2026
@renovate renovate Bot added the pre-commit label Jun 6, 2026
@renovate renovate Bot merged commit 3ec4143 into main Jun 6, 2026
10 checks passed
@renovate renovate Bot deleted the renovate/minor-stable-updates branch June 6, 2026 00:50
@github-project-automation github-project-automation Bot moved this from In Progress to Done in MQT Error Correction Jun 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file pre-commit

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants