envo
envo copied to clipboard
move internal editors/contribution documentation to mkdocs system
proposal:
move docs from the wiki to a docs/ folder in the main repo, and then publish via mkdocs
Many other ontologies do this: CL, Mondo, RO
Advantages:
- we can make PRs and review proposed changes to docs
- better user experience
For broader context on my proposal to harmonized contributor/editor docs across OBO: https://docs.google.com/presentation/d/1YyWYSetDML3nhNgMUmcrsw80Xx1Uf1n1dWI-A20PMa8/edit
Fine with that - also prevents loss if wikis go down
Maybe call this a medium term priority?
Thanks. I don't think it's a high priority but now I have your approval I may attempt this if an opportunity presents itself
If there's an easy way to do it without breaking all the links in the github wiki docs go for it. Otherwise it could also be an opportunity to consolidate/revise docs but that'd be a longer process. Migrating what we already have would be a great start if automatable.