This repository has been archived by the owner on Oct 10, 2023. It is now read-only.

When merging into main, deploy a public docs site. #25

Open

zorn opened this issue Oct 15, 2021 · 0 comments

Contributor

zorn commented Oct 15, 2021

Also consider adding a warning to the generator to keep us honest.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.