Add workflow for deploying website after updating the documentation #239
+9
−11
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This will allow the website to automatically get updated when we update the doc repository. I setup a repository action on the website github, which allows incoming events to trigger the build and deploy action.
Some notes about security. The credential being used has write permission the website repository, so to compensate I locked down all the branches to require PRs, which should prevent any malicious attackers if they get access to the credentials. The downside is no more directly pushing to the website, which I think is an OK tradeoff.
This PR is dependent on this PR getting merged first: valkey-io/valkey-io.github.io#214.
Some other things I investigated: