Skip to content

CI: wiki: add note about renamed devices

Administrator requested to merge renamed-note into master 
Ask people to add renamed devices to https://postmarketos.org/renamed
The CI script already downloads this page and ignores missing devices
that are on this list of renamed devices. This is important, so when
creating a MR that renames a device, and already renaming the device in
the wiki, other CI jobs will not start failing until the MR is merged.

Merge request reports