Skip to content

Add Chrome extension for GitHub PR UI enhancements#1

Merged
devm33 merged 4 commits intomainfrom
copilot/add-github-ui-modifications
Jan 25, 2026
Merged

Add Chrome extension for GitHub PR UI enhancements#1
devm33 merged 4 commits intomainfrom
copilot/add-github-ui-modifications

Commits

Commits on Jan 25, 2026