Oscar Levin

Support for PreTeXt documents

4

I am the developer of the [pretext-tools](https://github.com/oscarlevin/pretext-tools) extension, which provides tools for working with [PreTeXt](https://pretextbook.org/) documents. These are XML with a particular schema, so your sxml extension is of great...

Fix codespace `pretext view` again

4

Apparently another change made by github has broken `pretext view` in codespaces. Seems to be a problem with an address already being in use.

Make two deploy methods cohesive

1

If you use `pretext deploy`, you deploy to the `gh-pages` branch. But if you use the github actions workflow, you need to have your pages setting set to actions. It...

@bjones1 or @StevenClontz, any idea what is going on with the newly failing type tests (which are complaining only about our tests)?

See https://groups.google.com/g/pretext-support/c/uhL9HjMDvYc

`pretext view` can't get past zombies

1

See https://groups.google.com/g/pretext-support/c/slrYsX4U34w

pyPDF2 dependency?

11

In `project.toml` we list pyPDF2 as a dependency. Do we actually use this? I wasn't able to find any import of that. I mostly ask because upstream I've added a...

If a user sets up a custom domain, github creates a CNAME file that prevents new pushes, without warning.

Tom hasn't been able to deploy, likely because there is some issue with authentication.