Skip to content

sync: dev to extern-contrib - #893

Merged
PythonSmall-Q merged 71 commits into
extern-contribfrom
dev
Feb 8, 2026
Merged

PythonSmall-Q merged 71 commits into
extern-contribfrom
dev

Conversation

@github-actions

@github-actions github-actions Bot commented Feb 7, 2026 •

Copy link
Copy Markdown
Contributor

sync-branches: New code has just landed in dev, so let's bring extern-contrib up to speed!


Summary by cubic

Sync extern-contrib with dev to 2.7.2. Adds 2.6.0–2.7.2 to Update.json, bumps XMOJ.user.js/package.json to 2.7.2, and hardens the UpdateToRelease workflow to avoid bot-triggered loops.

  • Refactors

    • Simplified SubmitLink selection by querying anchors and matching by text.
  • Bug Fixes

    • AC export: support 5-digit IDs and robust CRLF handling; handle null problem PID.
    • UpdateToRelease workflow: skip bot-triggered PRs and use the correct PR number.

Written for commit 8e01ee2. Summary will update on new commits.

@cloudflare-workers-and-pages

cloudflare-workers-and-pages Bot commented Feb 7, 2026 •

Copy link
Copy Markdown

Deploying xmoj-script-dev-channel with  Cloudflare Pages  Cloudflare Pages

Latest commit: 8e01ee2
Status: ✅  Deploy successful!
Preview URL: https://2a337080.xmoj-script-dev-channel.pages.dev

View logs

@cubic-dev-ai cubic-dev-ai Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

No issues found across 3 files

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Signed-off-by: Shan Wenxiao <seanoj_noreply@yeah.net>
@hendragon-bot hendragon-bot Bot added the user-script This issue or pull request is related to the main user script label Feb 7, 2026
Add condition to skip bot-triggered events and update PR number reference.

Signed-off-by: Shan Wenxiao <seanoj_noreply@yeah.net>
@PythonSmall-Q
PythonSmall-Q merged commit 64775b9 into extern-contrib Feb 8, 2026
12 of 13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

GitHub-related size/M user-script This issue or pull request is related to the main user script

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants