The build configuration at teamcity.jetbrains.com for the plugin have been there for a while, I've configured it to produce somewhat better version numbers recently; plugin zip file is available as build artefact, so it could be removed from the repository now.
The build configuration at teamcity.jetbrains.com for the plugin have been there for a while, I've configured it to produce somewhat better version numbers recently; plugin zip file is available as build artefact, so it could be removed from the repository now.