From f940819e64db42eae08fa470078d97ac247b7ba7 Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Tue, 19 Apr 2022 09:28:05 +0200 Subject: [PATCH] CI: wiki: add note about renamed devices (MR 3079) 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. --- .ci/check_devices_in_wiki.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.ci/check_devices_in_wiki.py b/.ci/check_devices_in_wiki.py index 2dcbd2e86..8d50d6ac8 100755 --- a/.ci/check_devices_in_wiki.py +++ b/.ci/check_devices_in_wiki.py @@ -121,6 +121,10 @@ def main(): print("it more easily. Many times one person did a port with basic") print("functionality, and then someone else jumped in and") print("contributed major new features.") + print("") + print("NOTE: if you renamed a device in pmaports, rename it in the") + print("wiki as well and make sure to add it here:") + print("https://postmarketos.org/renamed") return 1 else: print("*** Wiki check successful!")