Skip to content

[pull] main from github:main#206

Merged
pull[bot] merged 2 commits into
Budda0ne:mainfrom
github:main
May 29, 2026
Merged

[pull] main from github:main#206
pull[bot] merged 2 commits into
Budda0ne:mainfrom
github:main

Conversation

@pull

@pull pull Bot commented May 29, 2026

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

kenyonj and others added 2 commits May 29, 2026 11:57
PeerJ returns 403 to GitHub Actions runners (likely Cloudflare bot
detection), even though the URL resolves fine in a browser. The link is
cited in building-community.md (and all translations) and the content is
still valid, so adding it to the existing url_ignores list matches the
pattern used for other sites that block automated requests.
Ignore peerj.com/preprints/1233 in link checker
@pull pull Bot locked and limited conversation to collaborators May 29, 2026
@pull pull Bot added the ⤵️ pull label May 29, 2026
@pull pull Bot merged commit 9433e42 into Budda0ne:main May 29, 2026
1 check failed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants