-
Improvement
-
Resolution: Done
-
Minor
-
None
Migrate documentation from Jenkins wiki to GitHub based on https://jenkins.io/blog/2019/10/21/plugin-docs-on-github/ and https://jenkins.io/doc/developer/publishing/wiki-page/#migrating-from-wiki-to-github.