8000 `resolve-conflicts` - Drop feature by fregante · Pull Request #8787 · refined-github/refined-github · GitHub 8000
[go: up one dir, main page]

Skip to content

Conversation

@fregante
Copy link
Member

This also drops the feature on GHE.

It's relatively easy to add check to see if GitHub is showing the native feature, but it would need testing since the editor is dynamic and the widget might be out of view(/DOM). So probably easier to just drop it.

<p><img src="https://user-images.githubusercontent.com/1402241/61187598-f9118380-a6a5-11e9-985a-990a7f798805.png">
<th width="50%">
<p><a title="resolve-conflicts"></a> Adds one-click merge conflict fixers
<p><img src="https://user-images.githubusercontent.com/1402241/54978791-45906080-4fdc-11e9-8fe1-45374f8ff636.png">
Copy link
Member Author

Choose a reason for hiding this comment

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

TODO: place another feature here in the highlights

@github-actions
Copy link

Please add labels to this PR

@fregante fregante marked this pull request as ready for review December 9, 2025 09:21
@fregante fregante enabled auto-merge (squash) December 9, 2025 09:21
@fregante fregante merged commit 57ee126 into main Dec 9, 2025
8 checks passed
@FloEdelmann FloEdelmann deleted the drop-resolve-conflicts branch December 12, 2025 12:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

resolve-conflicts introduces wrong "Current Change" label resolve-conflicts now built in

2 participants

0