Skip to content

Conversation

@renovate
Copy link
Contributor

@renovate renovate bot commented Oct 6, 2025

Note

Mend has cancelled the proposed renaming of the Renovate GitHub app being renamed to mend[bot].

This notice will be removed on 2025-10-07.


This PR contains the following updates:

Package Change Age Confidence
com.jetbrains.mps:mps-prerelease 252.26199.10406 -> 252.26199.10413 age confidence

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, 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.

@renovate renovate bot requested review from arimer and jonaskraemer as code owners October 6, 2025 17:56
@renovate renovate bot changed the title fix(deps): update dependency com.jetbrains.mps:mps-prerelease to v252.26199.10410 fix(deps): update dependency com.jetbrains.mps:mps-prerelease to v252.26199.10413 Oct 7, 2025
@renovate renovate bot force-pushed the renovate/mpsversion branch from c71d3d7 to cf77a20 Compare October 7, 2025 04:59
@arimer arimer merged commit 8c5dfde into master Oct 7, 2025
2 checks passed
@arimer arimer deleted the renovate/mpsversion branch October 7, 2025 07:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant