E527 `new-or-deleted-file` - Fix icons duplication by SunsetTechuila · Pull Request #8732 · refined-github/refined-github · GitHub
[go: up one dir, main page]

Skip to content

Conversation

@SunsetTechuila
Copy link
D622 Member
@SunsetTechuila SunsetTechuila commented Nov 5, 2025

@SunsetTechuila SunsetTechuila changed the title watch for file headers instead of links new-or-deleted-file - Fix icons duplication Nov 5, 2025
@fregante fregante added the bug label Nov 7, 2025
@fregante fregante merged commit 1f68f8d into refined-github:main Nov 7, 2025
17 checks passed
@SunsetTechuila SunsetTechuila deleted the new-or-deleted-3 branch November 7, 2025 12:58
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.

new-or-deleted-file - deduplication fails for truncated file names

2 participants

0