Skip to content

CI: wiki: Make check respect renamed devices

Administrator requested to merge wiki-renamed-devices into master

Since the wiki applies to all branches, renaming devices is really difficult without breaking the wiki check. To simplify this, download the Renamed Devices page additionally, and just print a WARNING if a device is missing in the wiki, but is listed there.

Edited by Administrator

Merge request reports