`prevent-pr-merge-panel-opening` - Drop feature by SunsetTechuila · Pull Request #9139 · refined-github/refined-github · GitHub
Skip to content

prevent-pr-merge-panel-opening - Drop feature#9139

Merged
SunsetTechuila merged 2 commits into
refined-github:mainfrom
SunsetTechuila:prevent-pr-merge-panel-opening
Mar 31, 2026
Merged

prevent-pr-merge-panel-opening - Drop feature#9139
SunsetTechuila merged 2 commits into
refined-github:mainfrom
SunsetTechuila:prevent-pr-merge-panel-opening

Conversation

@SunsetTechuila

Copy link
Copy Markdown
Contributor

@fregante fregante left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Finally!

@fregante

Copy link
Copy Markdown
Member

@SunsetTechuila

Copy link
Copy Markdown
Contributor Author

@SunsetTechuila SunsetTechuila merged commit 857371b into refined-github:main Mar 31, 2026
9 checks passed
@SunsetTechuila SunsetTechuila deleted the prevent-pr-merge-panel-opening branch March 31, 2026 03:23
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.

2 participants