Repository navigation

Change dev domain to https://dev.xmoj-script.uk/ - #1062

Merged

boomzero merged 9 commits into

XMOJ-Script-dev:devfrom

boomzero:boomzero/devdomain

Oct 6, 2026

Merged

Change dev domain to https://dev.xmoj-script.uk/#1062
boomzero merged 9 commits into
XMOJ-Script-dev:devfrom
boomzero:boomzero/devdomain

Commits on Oct 6, 2026
- Open release version PRs with the GitHub App token
  
  boomzero
  and
  claude
  committed
  fa71c78
- Skip fork PRs in UpdateToRelease and scope its app token
  
  boomzero
  and
  claude
  committed
  9bf6842
- Retire extern-contrib workflows and harden workflows for fork PRs
  
  boomzero
  and
  claude
  committed
  1d9bc7c
- Bump the version for merged fork PRs from the push to dev
  
  boomzero
  and
  claude
  committed
  909f900
- Serialize fork version bumps and only guard stable releases
  
  boomzero
  and
  claude
  committed
  997b83c
- Remove the retired Qodana workflow
  
  boomzero
  and
  claude
  committed
  fc5bc5b
- Merge pull request #1056 from XMOJ-Script-dev/dev
  boomzero
  authored
  1c81adc
- Merge branch 'XMOJ-Script-dev:dev' into dev
  boomzero
  authored
  a187a83
- Update ServerURL for DebugMode configuration
  boomzero
  authored
  d5c319f