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

chore: remove unused properties update from release script #442

Closed
wants to merge 1 commit into from

Conversation

mkuznyetsov
Copy link
Contributor

What does this PR do?

Remove the section from release script, that updates properties of "default editors", which appear to be unused
The properties themselves should probably be removed too, as they appear to be ignored, but should be removed in a separate issue (perhaps along with entire sections of code that used them)

Screenshot/screencast of this PR

What issues does this PR fix or reference?

How to test this PR?

PR Checklist

As the author of this Pull Request I made sure that:

Reviewers

Reviewers, please comment how you tested the PR when approving it.

@nickboldt
Copy link
Contributor

Related to eclipse-che/che#21411

Copy link
Contributor

@nickboldt nickboldt left a comment

Choose a reason for hiding this comment

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

-1. See simpler PR #443

@ibuziuk
Copy link
Member

ibuziuk commented Feb 16, 2023

@nickboldt @mkuznyetsov I believe this one can be closed, right?

@ibuziuk ibuziuk closed this Feb 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants