Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
boomzero merged 9 commits into from
Oct 6, 2026
Merged

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

Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
fa71c78
Open release version PRs with the GitHub App token
boomzero Oct 6, 2026
9bf6842
Skip fork PRs in UpdateToRelease and scope its app token
boomzero Oct 6, 2026
1d9bc7c
Retire extern-contrib workflows and harden workflows for fork PRs
boomzero Oct 6, 2026
909f900
Bump the version for merged fork PRs from the push to dev
boomzero Oct 6, 2026
997b83c
Serialize fork version bumps and only guard stable releases
boomzero Oct 6, 2026
fc5bc5b
Remove the retired Qodana workflow
boomzero Oct 6, 2026
1c81adc
Merge pull request #1056 from XMOJ-Script-dev/dev
boomzero Oct 6, 2026
a187a83
Merge branch 'XMOJ-Script-dev:dev' into dev
boomzero Oct 6, 2026
d5c319f
Update ServerURL for DebugMode configuration
boomzero Oct 6, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion XMOJ.user.js
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3844,7 +3844,7 @@ if (UtilityEnabled("AutoLogin") && document.querySelector("body > a:nth-child(1)
}

SearchParams = new URLSearchParams(location.search);
let ServerURL = (UtilityEnabled("DebugMode") ? "https://ghpages.xmoj-script.uk/" : "https://www.xmoj-script.uk")
let ServerURL = (UtilityEnabled("DebugMode") ? "https://dev.xmoj-script.uk/" : "https://www.xmoj-script.uk")
const profileElement = document.querySelector("#profile");
if (profileElement === null) {
RevealPage();
Expand Down
Loading