Skip to content

chore(jetbrains): add new release notes#118

Merged
github-actions[bot] merged 1 commit into
mainfrom
bot/fetch-jetbrains
Jun 19, 2026
Merged

chore(jetbrains): add new release notes#118
github-actions[bot] merged 1 commit into
mainfrom
bot/fetch-jetbrains

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Automated update: new release notes fetched by the daily workflow.

@github-actions github-actions Bot enabled auto-merge (squash) June 18, 2026 08:08
@github-actions github-actions Bot force-pushed the bot/fetch-jetbrains branch from a3c4175 to 3232ba1 Compare June 19, 2026 08:18
@github-actions github-actions Bot merged commit 590f176 into main Jun 19, 2026
4 checks passed
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