Skip to content

Update plugins to support latest JetBrains Gateway and Backend #16919

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
loujaybee opened this issue Mar 20, 2023 · 2 comments · Fixed by #16913
Closed

Update plugins to support latest JetBrains Gateway and Backend #16919

loujaybee opened this issue Mar 20, 2023 · 2 comments · Fixed by #16913
Assignees
@akosyakov @loujaybee @iQQBot
Labels
aspect: dedicated Issues related to Gitpod Dedicated editor: jetbrains meta: stale This issue/PR is stale and will be closed soon

Comments

@loujaybee
Copy link
Member

loujaybee commented Mar 20, 2023 •
edited
Loading

Relates to:
@loujaybee loujaybee converted this from a draft issue Mar 20, 2023
@loujaybee loujaybee linked a pull request Mar 20, 2023 that will close this issue
[jb] bump up major platform version of backend plugin #16913
Merged
16 tasks
@akosyakov akosyakov changed the title Update to latest JetBrains Gateway Update plugins to support latest JetBrains Gateway and Backend Mar 20, 2023
@akosyakov akosyakov moved this from Scheduled to In Progress in 🚀 IDE Team Mar 20, 2023
@github-project-automation github-project-automation bot moved this from In Progress to Done in 🚀 IDE Team Mar 21, 2023
@akosyakov akosyakov reopened this Mar 21, 2023
@akosyakov
Copy link
Member

JB GW plugin is still outdated and our jobs are not auto updating. I keep looking into it.

@akosyakov akosyakov moved this from Done to In Progress in 🚀 IDE Team Mar 21, 2023
@loujaybee loujaybee mentioned this issue Mar 21, 2023
Closed
@loujaybee loujaybee added the aspect: dedicated Issues related to Gitpod Dedicated label Mar 21, 2023
@stale
Copy link

stale bot commented Sep 17, 2023

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

@stale stale bot added the meta: stale This issue/PR is stale and will be closed soon label Sep 17, 2023
@github-actions github-actions bot closed this as not planned Won't fix, can't repro, duplicate, stale May 22, 2024
@github-project-automation github-project-automation bot moved this from In Progress to Done in 🚀 IDE Team May 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@akosyakov akosyakov

@loujaybee loujaybee

@iQQBot iQQBot

Labels
aspect: dedicated Issues related to Gitpod Dedicated editor: jetbrains meta: stale This issue/PR is stale and will be closed soon
Projects
🚀 IDE Team
Status: Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[jb] bump up major platform version of backend plugin gitpod-io/gitpod
3 participants
@akosyakov @loujaybee @iQQBot