I set up a project for a colleague, and both of us have been able to build the target "course" and deploy to github pages. But as of yesterday, when she runs "pretext deploy", the CLI reports success, but the results do not appear, meaning there is no new commit to the gh-pages branch on github.
She is working locally in a docker container, and she is able to push changes in the source to the remote repository and deploy through the github action after doing so. I am still able to deploy through the CLI.
She also sees the following when attempting to deploy, which is something that I don't see.
root@b88a462d15ae:/workspaces/MTH124 $ pretext deploy
Version 2.50.0 of pretext is available. You are currently using version 2.47.1.
To upgrade, run `pretext upgrade`.
PreTeXt project found in `/workspaces/MTH124`.
warning: Using CLI version 2.47.1 but project's `requirements.txt`
warning: is configured to use 2.45.0. Consider either installing
warning: CLI version 2.45.0 or running `pretext update-project`
warning: to update `requirements.txt` and other managed files to match 2.47.1.
Staging deployment according to strategy pelican_default
Staging `course` at `/workspaces/MTH124/output/stage/course`.
Staging generated site at `/workspaces/MTH124/output/stage`.
XSL conversion of /workspaces/MTH124/source/main.ptx by /root/.ptx/2.47.1/core/xsl/utilities/pretext-enhanced-source.xsl
messages from the log for XSL processing (prefaced with a *):
warning: * PTX:DEPRECATE: (2026-07-30) the external directory is a
property of your source, and is now declared with a
"directories/@external" attribute within "docinfo". The publication
file entry "source/directories/@external" is honored meanwhile, but
please
relocate it.
successful application of /root/.ptx/2.47.1/core/xsl/utilities/pretext-enhanced-source.xsl
Done: Processed 0 articles, 0 drafts, 0 hidden articles, 0 pages, 0 hidden pages and 0 draft pages in 0.03 seconds.
Deployment is now staged at `/workspaces/MTH124/output/stage`.
Preparing to deploy from active `main` git branch.
Changes to project source since last commit detected.
warning: Don't forget to either add and commit the changes to your
source with git, or run `pretext deploy -u` to have these changes
updated automatically.
warning: Just deploying your built project will not save changes to your source on GitHub.`
Committing your latest build to the `gh-pages` branch.
[git.remote] WARNING: Error lines received while fetching: error: failed to
Latest build successfully pushed to GitHub!
To enable GitHub Pages, visit
selecting the `gh-pages` branch with the `/ (root)` folder.
Visit
to check on the status of your GitHub Pages deployment.
Your built project will soon be available to the public at:
root@b88a462d15ae:/workspaces/MTH124 $