Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update jetbrains to v2023.3.1 #1704

Merged
merged 1 commit into from
Dec 12, 2023
Merged

Update jetbrains to v2023.3.1 #1704

merged 1 commit into from
Dec 12, 2023

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Dec 12, 2023

Mend Renovate

This PR contains the following updates:

Package Change Age Adoption Passing Confidence
JetBrains.ReSharper.GlobalTools (source) 2023.3.0 -> 2023.3.1 age adoption passing confidence
jetbrains.resharper.globaltools (source) 2023.3.0 -> 2023.3.1 age adoption passing confidence

Configuration

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

🚦 Automerge: Enabled.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

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


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

This PR has been generated by Mend Renovate. View repository job log here.

@renovate renovate bot added the 🚚 private-dependencies Private dependency label Dec 12, 2023
@renovate renovate bot enabled auto-merge (rebase) December 12, 2023 18:47
@github-actions github-actions bot added the :shipit: merge Shipit! label Dec 12, 2023
@github-actions github-actions bot added this to the v1.5.4 milestone Dec 12, 2023
@renovate renovate bot merged commit 34cf32e into master Dec 12, 2023
8 checks passed
@renovate renovate bot deleted the renovate/jetbrains branch December 12, 2023 18:59
@github-actions github-actions bot removed the :shipit: merge Shipit! label Dec 12, 2023
@rsg-bot rsg-bot modified the milestones: v1.5.4, v1.6.0 Dec 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🚚 private-dependencies Private dependency
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant