Open jdemaeyer opened 4 years ago
This is currently not easily configurable for the "repository settings" GitHub pages publishing that we use, and setting up a GitHub Action doesn't seem worth it for now since we usually keep the public instance in-sync with the repository.
Otherwise we'll push docs for new features before the feature is actually available