Skip to content

[pull] master from GaijinEntertainment:master#1005

Merged
pull[bot] merged 2 commits into
forksnd:masterfrom
GaijinEntertainment:master
May 17, 2026
Merged

[pull] master from GaijinEntertainment:master#1005
pull[bot] merged 2 commits into
forksnd:masterfrom
GaijinEntertainment:master

Conversation

@pull
Copy link
Copy Markdown

@pull pull Bot commented May 17, 2026

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 : )

borisbat and others added 2 commits May 17, 2026 08:16
The "Stage site for deployment" step copies root HTML via an explicit
allowlist (index.html, downloads.html, robots.txt). The /daspkg page
added in 281ac2e wasn't on that list, so site/daspkg.html never
reached _site/ and daslang.io/daspkg.html 404'd after deploy.

Add a cp line for daspkg.html. No other staging logic changes.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
…-deploy-fix

pages.yml: stage site/daspkg.html so /daspkg route resolves
@pull pull Bot locked and limited conversation to collaborators May 17, 2026
@pull pull Bot added the ⤵️ pull label May 17, 2026
@pull pull Bot merged commit d97eecc into forksnd:master May 17, 2026
1 of 2 checks passed
@pull pull Bot had a problem deploying to github-pages May 17, 2026 20:58 Error
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.

1 participant