commit | 0daf34fd3a18aa2a43217c320e2a39d69e52d3f4 | [log] [tgz] |
---|---|---|
author | Peter Maydell <peter.maydell@linaro.org> | Thu Nov 12 14:40:39 2020 +0000 |
committer | Peter Maydell <peter.maydell@linaro.org> | Mon Nov 23 11:10:04 2020 +0000 |
tree | b014a37e0cc7cbf6b17a4116de7cbff88b526dc5 | |
parent | e8eee8d3d90690b73caac6b0059ad02ed1f170e6 [diff] |
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>