`mark-pinned` - New feature by Copilot · Pull Request #9369 · refined-github/refined-github · GitHub
Skip to content

mark-pinned - New feature#9369

Merged
fregante merged 9 commits into
mainfrom
copilot/mark-pinned-issues-in-list
May 8, 2026
Merged

mark-pinned - New feature#9369
fregante merged 9 commits into
mainfrom
copilot/mark-pinned-issues-in-list

Conversation

Copilot AI commented May 7, 2026

Copy link
Copy Markdown
Contributor

Copilot AI linked an issue May 7, 2026 that may be closed by this pull request
Copilot AI and others added 2 commits May 7, 2026 05:48
Copilot AI changed the title [WIP] Add mark for pinned issues in list Mark pinned issues in repository issue lists May 7, 2026
Copilot AI requested a review from fregante May 7, 2026 05:50
Comment thread source/features/mark-pinned.tsx Outdated
Comment thread source/features/mark-pinned.tsx Outdated
Comment thread source/helpers/strip-leading-pin-emoji.ts Outdated
Copilot AI requested a review from fregante May 7, 2026 06:03
@fregante fregante changed the title Mark pinned issues in repository issue lists mark-pinned - New feature May 7, 2026

@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.

Tested, documented

@fregante fregante marked this pull request as ready for review May 7, 2026 19:20
@fregante

fregante commented May 7, 2026

Copy link
Copy Markdown
Member

@fregante fregante requested review from SunsetTechuila and kidonng May 7, 2026 19:27
Comment thread source/features/mark-pinned.tsx Outdated
@fregante fregante merged commit c7d21b9 into main May 8, 2026
10 checks passed
@SunsetTechuila SunsetTechuila deleted the copilot/mark-pinned-issues-in-list branch May 8, 2026 09:59
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.

Mark pinned issues in list

3 participants