8000 `clean-pinned-issues` - Support new issue view by kovsu · Pull Request #8850 · refined-github/refined-github · GitHub
[go: up one dir, main page]

8000
Skip to content

Conversation

@kovsu
Copy link
Member
@kovsu kovsu commented Jan 5, 2026

@github-actions github-actions bot added the bug label Jan 5, 2026
@kovsu kovsu added enhancement and removed bug labels Jan 5, 2026
@fregante
Copy link
Member
fregante commented Jan 5, 2026

Technically this is a bug since the feature is just broken on the website.

Also can you drop the old CSS? Let's clean this feature up

@kovsu
Copy link
Member Author
kovsu commented Jan 5, 2026

Technically this is a bug since the feature is just broken on the website.

😯

Also can you drop the old CSS? Let's clean this feature up

ok

@kovsu kovsu added bug and removed enhancement labels Jan 5, 2026
Copy link
Member
@fregante fregante left a comment

Choose a reason for hiding this comment

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

:woot:

Co-authored-by: Grigory <grigory.orlov.set@gmail.com>
@kovsu kovsu merged commit 3e1981e into refined-github:main Jan 6, 2026
11 checks passed
@kovsu kovsu deleted the fix-#8258 branch January 6, 2026 00:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Development

Successfully merging this pull request may close these issues.

clean-pinned-issues is broken

3 participants

0