f940819e64
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. |
||
|---|---|---|
| .. | ||
| testcases | ||
| apkbuild-linting.py | ||
| build.sh | ||
| build_changed_aports.py | ||
| check_changed_aports_versions.py | ||
| check_devices_in_wiki.py | ||
| common.py | ||
| move_logs.sh | ||
| run_testcases.sh | ||
| shellcheck.sh | ||