docs: Move pr-manager.rst into the system manual
authorPeter Maydell <peter.maydell@linaro.org>
Thu, 12 Nov 2020 14:40:39 +0000 (14:40 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Mon, 23 Nov 2020 11:10:04 +0000 (11:10 +0000)
commit0daf34fd3a18aa2a43217c320e2a39d69e52d3f4
treeb014a37e0cc7cbf6b17a4116de7cbff88b526dc5
parente8eee8d3d90690b73caac6b0059ad02ed1f170e6
docs: Move pr-manager.rst into the system manual

Move the pr-manager documentation into the system manual.
Some of it (the documentation of the pr-manager-helper tool)
should be in tools, but we will split it up after moving it.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
docs/system/index.rst
docs/system/pr-manager.rst [moved from docs/pr-manager.rst with 100% similarity]