docs/system/pr-manager.rst: Fix minor docs nits
commitc6ff78563ad2971f289168c7cae6ecb0b4359516
authorPeter Maydell <peter.maydell@linaro.org>
Thu, 12 Nov 2020 14:40:41 +0000 (12 14:40 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Mon, 23 Nov 2020 11:10:04 +0000 (23 11:10 +0000)
treea194b4f7e1f115dc8ac02472b4c8c9e00a45a8cd
parent773ee3f1ea50eb996cced930cc29b1b27bfbc6fa
docs/system/pr-manager.rst: Fix minor docs nits

Fix a couple of nits in pr-manager.rst:
 * the title marker for the top level heading is overlength
 * stray capital 'R' in the middle of a sentence

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
docs/system/pr-manager.rst