Skip to content

Conversation

@github-actions
Copy link
Contributor

Description

This PR is generated by the GitHub action and automatically updated when
Pr(s) are merged on master.

It should stay in draft until we release.

Merging instruction

This pr must be merged last, just before releasing.

  1. edit the title of last release notes to change NEXT_VERSIONby the actual version (you can do it in GitHub interface)
  2. merge pr using squashing strategy
  3. tag the master branch with the actual version (this will create a Github release and publish the plugin on Jetbrains store)

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.

2 participants