Skip to content
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.

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

[JetBrains-Gateway] Menu Options for Usage, Feedback, Help in JB Gateway Plugin #15648

Merged
merged 1 commit into from
Jan 10, 2023

Conversation

Siddhant-K-code
Copy link
Member

@Siddhant-K-code Siddhant-K-code commented Jan 10, 2023

Signed-off-by: Siddhant Khare [email protected]

Description

This PR propose changes to providing user options to open Usage Page, Open Feedback Issue, Help page of website directly from JetBrains Gateway.

Old New
image image

Related Issue(s)

Fixes #

How to test

Release Notes

Menu Options for Usage, Feedback & Help in Gitpod's JetBrains Gateway Plugin

Documentation

Werft options:

  • /werft with-local-preview
    If enabled this will build install/preview
  • /werft with-preview
  • /werft with-large-vm
  • /werft with-integration-tests=all
    Valid options are all, workspace, webapp, ide, jetbrains, vscode, ssh

@werft-gitpod-dev-com

This comment was marked as outdated.

@werft-gitpod-dev-com

This comment was marked as resolved.

@Siddhant-K-code Siddhant-K-code marked this pull request as ready for review January 10, 2023 07:07
@Siddhant-K-code Siddhant-K-code requested a review from a team January 10, 2023 07:07
@Siddhant-K-code Siddhant-K-code force-pushed the JB-Gateway/send-feedback branch from 691f553 to ec2fd8f Compare January 10, 2023 09:22
Copy link
Contributor

@felladrin felladrin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed and tested! ✅

image

@roboquat roboquat merged commit 169fbed into main Jan 10, 2023
@roboquat roboquat deleted the JB-Gateway/send-feedback branch January 10, 2023 09:56
@roboquat roboquat added deployed: IDE IDE change is running in production deployed Change is completely running in production labels Jan 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
deployed: IDE IDE change is running in production deployed Change is completely running in production release-note size/S team: IDE
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants