patman: Properly document the patchwork_url setting
authorDouglas Anderson <dianders@chromium.org>
Mon, 11 Mar 2024 21:02:45 +0000 (14:02 -0700)
committerHeinrich Schuchardt <heinrich.schuchardt@canonical.com>
Thu, 21 Mar 2024 06:36:54 +0000 (07:36 +0100)
commitfcd0c8b8474f7db0b94608424715a73fbeba92dc
tree21671fe2a0f3ff4fbeda01be16060406004d93d5
parent98b5ea1881ea60cb13c510322352a9349b715d9a
patman: Properly document the patchwork_url setting

The "Series-patchwork-url:" tag description says that it overrides the
settings file but doesn't specify the name of the setting. Elsewhere
in the documentation about the "useful" settings we see a setting that
sounds promising called "patchwork_server" that's actually not a valid
setting. It should be "patchwork_url".

Fix these problems so the doc is right and more useful.

Signed-off-by: Douglas Anderson <dianders@chromium.org>
tools/patman/patman.rst