Skip to content

Deprecate isRepoFile404 - #251

Merged
fregante merged 1 commit into
mainfrom
404
Jul 12, 2026
Merged

Deprecate isRepoFile404#251
fregante merged 1 commit into
mainfrom
404

Conversation

@fregante

@fregantefregante commented Jul 12, 2026

Copy link
Copy Markdown
Member

Overly specific and incorrect: it takes a URL and then it reads the global state 🤷‍♂️

The reason was originally #183 (comment) but the very recent refined-github/refined-github#9603 removed the need for such specific checks.

@fregante
fregante merged commit 189e7ad into mainJul 12, 2026
11 checks passed
@fregante
fregante deleted the 404 branch July 12, 2026 16:31
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

@fregante