Skip to content

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Oct 2, 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.10385 -> 252.26199.10406 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 2, 2025 18:54
@renovate renovate bot changed the title fix(deps): update dependency com.jetbrains.mps:mps-prerelease to v252.26199.10392 fix(deps): update dependency com.jetbrains.mps:mps-prerelease to v252.26199.10406 Oct 3, 2025
@renovate renovate bot force-pushed the renovate/mpsversion branch from fd002e8 to 4de130b Compare October 3, 2025 21:56
@arimer arimer enabled auto-merge October 6, 2025 07:23
@arimer arimer merged commit 0becfc9 into master Oct 6, 2025
2 checks passed
@arimer arimer deleted the renovate/mpsversion branch October 6, 2025 07:39
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