Skip to content

Deploy main to ilserver4 automatically - #90

Merged
Isma-L154 merged 1 commit into
mainfrom
feat/89-deploy-to-ilserver4
Oct 15, 2026
Merged

Isma-L154 merged 1 commit into
mainfrom
feat/89-deploy-to-ilserver4

Conversation

@Isma-L154

Copy link
Copy Markdown
Owner

Closes #89

What changes

  • deploy/manifest: one auto installer, deploy/install-ilserver4.sh. Its inputs are the code the running bot loads, requirements.txt and the deploy scripts. Tests, docs and site/ are left out, so changing them does not restart the bot.
  • deploy/install-ilserver4.sh: run as root by ilserver4-deploy with DEPLOY_COMMIT set. It copies update.sh from the fetched commit to a root-owned temporary file and runs it as the checkout's owner. That way the version of update.sh being deployed is the one that runs, and git and pip never write root-owned files into the checkout.
  • deploy/update.sh takes an optional commit and fast-forwards to exactly it. Without one it still runs git pull --ff-only, as before for manual hosts. APP_DIR can be passed in, because the installer feeds it a copy.
  • tests/test_deploy_manifest.py: every file under deploy/ is mapped and every input exists. The agent refuses a commit with an unmapped file, so this catches it in the PR instead of in a failed deployment.

Verified on ilserver4

Ran a probe through the same path: root, then mktemp + install -m 0644, then runuser -u ashesofil -- env APP_DIR=... bash. Inside, it ran as ashesofil, git fetch origin main worked, a fast-forward from the deployed 7649534 is possible, and sudo -n true succeeds. Nothing was restarted.

The agent side, which sets DEPLOY_COMMIT and adds this repository, is Isma-L154/Project_ilserver4#88. This PR has to merge first: the agent refuses a repository without deploy/manifest.

deploy/manifest lists one auto installer whose inputs are what the running
bot depends on. The installer runs update.sh from the fetched commit as the
checkout's owner, and update.sh fast-forwards to exactly that commit.
@Isma-L154
Isma-L154 merged commit d561e4c into main Oct 15, 2026
8 checks passed
@Isma-L154
Isma-L154 deleted the feat/89-deploy-to-ilserver4 branch October 15, 2026 02:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Deploy main to ilserver4 automatically

1 participant