Publish the plugin to the JetBrains Plugin Repository

[snicoll]

To make it easier for IntelliJ IDEA users to use this plugin, we should publish it to the JetBrains Plugin Repository, see the instructions.

As far as I can see, it requires to do so with an account so we should probably create one for the team or something.

[snicoll]

Let's increase the priority of this one please. It looks like the Jetbrains team is testing plugins that are published there and the recent breakage in 2020.1 could have been caught that way.

[vpavic]

Any updates on this?

Managing plugin updates manually is really a tedious chore, and that's far from being the only benefit of having the plugin published to Jetbrains plugin repo.

[philwebb]

I've not had a chance to look into it in any detail yet. I wonder if there's an API for updating a plugin. I don't like the idea of doing it manually for each release.

[vpavic]

I don't like the idea of doing it manually for each release.

I agree that automation is desirable, but isn't it overall much less of a hassle to publish manually compared to having everyone go through the manual download and installation?

[philwebb]

Yeah, I agree.

[vpavic]

It appears that the plugin was published to Jetbrains plugin repo as IntelliJ offered the plugin update to me today.

However, it's a bit unclear whether this was done by the Spring team or someone from the community?
See here for more details.

[philwebb]

It wasn't done by us. Looks like someone called Tony Cody uploaded it.

[snicoll]

I'll reach out to JetBrains.

[vpavic]

It seems that the plugin was removed from the Jetbrains plugin repo.

However this situation IMO makes it even more important to get the plugin (properly) published to repo as it seems that everyone who has it installed is under a risk of having it updated if someone else publishes a plugin with matching id (or whatever IntelliJ uses to match update candidates).

This opens a possibility for some quite nasty consequences.

[wilkinsona]

This opens a possibility for some quite nasty consequences.

Agreed. Hopefully JetBrains have put something in place that stops this from happening again.

[snicoll]

I asked them to remove it but they can't guarantee that it won't happen again. The person who published the jar had to modify it as the metadata are incomplete (I know that first hand trying to publish it yesterday).

I agree we need to put some priority on this, even if we have to publish it manually initially.

[tonycody]

It wasn't done by us. Looks like someone called Tony Cody uploaded it.

I'm so sorry. I uploaded it earlier. Source open source addresses have been added, but not officially released to the Jetbrains market yet. People who want to use the IDEA plugin need to build their own.

[snicoll]

People who want to use the IDEA plugin need to build their own.

They don't. This plugin is released on Maven Central so you can download it from there, or from repo.spring.io. It's true that it would be better if you could install it from the JetBrains market place, which is what we'll address in this issue.

[tonycody]

People who want to use the IDEA plugin need to build their own.

They don't. This plugin is released on Maven Central so you can download it from there, or from repo.spring.io. It's true that it would be better if you could install it from the JetBrains market place, which is what we'll address in this issue.

Plugin support IDEA, submit to the Jetbrains Plugin market, otherwise build your own installation, too much trouble.