Skip to content

Lint - #10015

Merged
fregante merged 14 commits into
mainfrom
lintttt
Sep 1, 2026
Merged

Lint#10015
fregante merged 14 commits into
mainfrom
lintttt

Conversation

@fregante

Copy link
Copy Markdown
Member

No description provided.

@github-actions github-actions Bot added the meta Related to Refined GitHub itself label Aug 30, 2026
fregante added a commit to ShayanMuhammad-CS/refined-github that referenced this pull request Aug 30, 2026
Comment thread package.json
"select-dom": "^10.1.0",
"shorten-repo-url": "^6.0.0",
"strip-indent": "^4.0.0",
"shorten-repo-url": "^6.0.1",

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

This contains a bugfix

@fregante
fregante merged commit 53186f2 into main Sep 1, 2026
14 checks passed
@fregante
fregante deleted the lintttt branch September 1, 2026 10:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

meta Related to Refined GitHub itself

Development

Successfully merging this pull request may close these issues.

1 participant