You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Ideally, we should use Gateway to detect when a new version of the jetbrains-backend-coder plugin is available and automatically download and install this update in the IDE so that users don't have to manually check for new releases.
If Gateway does not have this capability, we will have to prompt the user to manually upgrade.
Requirements:
If possible, use Gateway to automatically detect and install new plugin versions.
If not possible, prompt the user to manually upgrade.
After some internal discussion, it might be best to implement this generically, like a list of plugins that the Gateway plugin can pre-install for you. One of those plugins could be the new backend plugin (perhaps set in there by default).
It would be the Gateway plugin basically doing ssh -c idea.sh installPlugins coder-gateway-backend (although it depends on whether we can publish the plugin on the marketplace since it uses internal APIs, if not we have to install from GitHub potentially).
Ideally, we should use Gateway to detect when a new version of the jetbrains-backend-coder plugin is available and automatically download and install this update in the IDE so that users don't have to manually check for new releases.
If Gateway does not have this capability, we will have to prompt the user to manually upgrade.
Requirements:
The text was updated successfully, but these errors were encountered: