Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Add plugin docs #6057
This adds documentation for the plugin system. To avoid duplication, I add shorter and more basic info to the docs, while adding more technical details to the module/class/method docstrings.
To save time I would propose to make one-two rounds of review here and then polish the docs in subsequent PRs.
JukkaL left a comment
Thanks for documenting this! Left a bunch of comments. Feel free to leave some suggestions unaddressed for now -- but we should address them before the next release. There are some other minor things I can change myself once this has been merged.