Sync public tree to 13dc821

This commit is contained in:
Michel Paulissen 2026-07-04 13:10:21 +02:00
parent e2bc145f60
commit 1dad0df5c4
6 changed files with 101 additions and 21 deletions

View file

@ -105,6 +105,23 @@ function assertFilteredOut(manifest) {
}
}
function publicTreeAlreadyPushed(manifest) {
return (
(manifest.public_tree_publish && manifest.public_tree_publish.pushed === true) ||
process.env.DISASMER_PUBLIC_TREE_ALREADY_PUSHED === "1"
);
}
function publicRepoRemote(manifest) {
return (
manifest.public_repo_url ||
manifest.public_repo_remote ||
process.env.DISASMER_PUBLIC_REPO_REMOTE ||
process.env.DISASMER_PUBLIC_REPO_URL ||
""
);
}
function commandOutput(command, args) {
try {
return require("child_process")
@ -140,12 +157,12 @@ assertDnsState(manifest.dns_publication_state, "manifest");
assert(manifest.resolver_override, "manifest must record resolver override");
assertFilteredOut(manifest);
assert.strictEqual(
manifest.public_tree_publish && manifest.public_tree_publish.pushed,
publicTreeAlreadyPushed(manifest),
true,
"filtered public tree must be pushed to Forgejo"
);
assertIncludes(
manifest.public_repo_url || manifest.public_repo_remote || "",
publicRepoRemote(manifest),
forgejoHost,
"manifest public repository must point at Forgejo"
);