Skip to content

quick-resolve-conflicts - New feature name#9580

Merged
fregante merged 3 commits into
mainfrom
no-notifications
May 23, 2026
Merged

quick-resolve-conflicts - New feature name#9580
fregante merged 3 commits into
mainfrom
no-notifications

Conversation

@fregante

@fregante fregante commented May 23, 2026

Copy link
Copy Markdown
Member

This should be a dedicated feature. All of this code was deleted in #9368 anyway.

Given the complexity of "unwrapping" nowadays I wonder if the feature should just be renamed to quick-resolve-conflicts to match the remaining code. The feature for example contained part of rerun-workflow for example, but that is now a standalone feature.

Updated screenshot

@github-actions github-actions Bot added the bug label May 23, 2026
@fregante fregante changed the title unwrap-unnecessary-dropdowns - Drop notifications support quick-resolve-conflicts - New feature name May 23, 2026
"faster-pr-diff-options": "one-click-diff-options",
"hide-useless-comments": "hide-low-quality-comments",
"no-useless-split-diff-view": "no-unnecessary-split-diff-view",
"unwrap-useless-dropdowns": "unwrap-unnecessary-dropdowns",

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

Since this part of the feature was introduced 2 weeks ago (#9367) I'm not gonna consider it a rename.

Once notifications-ui is created, we can keep that as a rename of unwrap-unnecessary-dropdowns. I have to remove it now because that feature doesn't exist yet.

@fregante fregante May 23, 2026

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

I updated the PR to avoid conflicts and added the rename there:

@fregante fregante added meta Related to Refined GitHub itself and removed bug labels May 23, 2026
@fregante

Copy link
Copy Markdown
Member Author

Any thoughts on the name?

@SunsetTechuila

Copy link
Copy Markdown
Contributor

The name is good, and so is the PR

@fregante

Copy link
Copy Markdown
Member Author
I am a good boy

@fregante fregante merged commit 386889a into main May 23, 2026
13 checks passed
@fregante fregante deleted the no-notifications branch May 23, 2026 18:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

meta Related to Refined GitHub itself

Development

Successfully merging this pull request may close these issues.

unwrap-unnecessary-dropdowns broken on notifications

2 participants