Skip to content

sync-pr-commit-title - Don't run on merged PRs#8932

Merged
fregante merged 2 commits into
mainfrom
sync-pr-title
Feb 3, 2026
Merged

sync-pr-commit-title - Don't run on merged PRs#8932
fregante merged 2 commits into
mainfrom
sync-pr-title

Conversation

@SunsetTechuila
Copy link
Copy Markdown
Member

This doesn't affect functionality

Test URLs

#8928

Screenshot

@SunsetTechuila SunsetTechuila changed the title sync-pr-commit-title - Don't run on merged PRs Meta: sync-pr-commit-title - Don't run on merged PRs Feb 2, 2026
@SunsetTechuila SunsetTechuila added the meta Related to Refined GitHub itself label Feb 2, 2026
@fregante fregante changed the title Meta: sync-pr-commit-title - Don't run on merged PRs sync-pr-commit-title - Don't run on merged PRs Feb 3, 2026
@fregante fregante merged commit d4a7c3f into main Feb 3, 2026
11 of 18 checks passed
@fregante fregante added enhancement and removed meta Related to Refined GitHub itself labels Feb 3, 2026
@fregante
Copy link
Copy Markdown
Member

fregante commented Feb 3, 2026

No visual changes but it's still a performance improvement.

Also Meta: prefix is only used to dim the commits in the commit list of this repo, I don't remember which feature does this. It's reserved for refactoring commits or things that don't matter (readme changes, package.json, etc)

@fregante fregante deleted the sync-pr-title branch February 3, 2026 06:35
@SunsetTechuila
Copy link
Copy Markdown
Member Author

SunsetTechuila commented Feb 3, 2026

I don't remember which feature does this.

rgh-dim-commits

things that don't matter

I decided that this change doesn't matter

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