Migrate GitHub wiki into docs/
folder
#12
Merged
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.
All of our protocols and pipeline details are currently contained in a GitHub wiki. Unfortunately, even though the GitHub wiki is just another git repository, GitHub offers no sort of formal review process for editing wiki pages. We have no way to flag issues, assign responsibility, or review updates.
There's two avenues we can take here, one is the tried-and-true approach of adding a
docs/
folder to your repository. This is pretty straightforward and intuitive, but lacks a table of contents and may be off-putting to an audience less acquainted with software documentation practices.Another approach is creating a second GitHub repository for octopus.wiki and pushing updates to octopus.wiki using GitHub actions (various implementations discussed here). This feels a little brittle and unconventional to me, but makes the a user experience a bit smoother. My main concern is that maintaining the documentation will become tedious at that point, and we're less likely to keep it up-to-date.
This PR implements the first solution, but I'm interested in hearing opinions on the two options.