Eric Huss 0dc65a1ac4 Support publishing a pre-release version of the guide ...

This changes the publishing process so that when publishing the guide
and the current version is a pre-release, it will be pushed to a
directory called `/pre-release/`.

This also switches from using simpleinfra's SSH-based script to a simple
push using normal git commands.

2025-09-04 17:08:49 -07:00

..

ISSUE_TEMPLATE

Fix incorrect version command

2023-01-28 20:21:18 +01:00

workflows

Support publishing a pre-release version of the guide

2025-09-04 17:08:49 -07:00