You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now, the generated docs are tracked by git, which is not remotely ideal. Since it is generated markdown, the actual github repo can link to it and display it in a nice format - but for that, it has to be tracked.
If we deploy the docs as a static web page, we can take the generated markdown out of git (!).
The text was updated successfully, but these errors were encountered:
Right now, the generated docs are tracked by git, which is not remotely ideal. Since it is generated markdown, the actual github repo can link to it and display it in a nice format - but for that, it has to be tracked.
If we deploy the docs as a static web page, we can take the generated markdown out of git (!).
The text was updated successfully, but these errors were encountered: