nokia-sand: change device name to real codename

added 1 commit

• a3aaec93 - nokia-sand: change device name to real codename

Compare with previous version

By Max on 2021-06-17T08:55:55

What to do with the failing pipeline ? It fails due to shellcheck in ./main/postmarketos-mkinitfs/init_functions.sh which I didn't touch.

By Max on 2021-06-17T12:16:43

Don't forget to update https://wiki.postmarketos.org/wiki/Renamed_Devices

By Alexey Min on 2021-06-17T19:36:33

added 2 commits

• c6a5e885 - 1 commit from branch postmarketOS:master
• 9e175cf7 - nokia-sand: change device name to real codename (MR 2258)

Compare with previous version

By clayton craft on 2021-06-18T01:15:12

added 1 commit

• 595f3dcb - nokia-sand: change device name to real codename (MR 2258)

Compare with previous version

By clayton craft on 2021-06-18T01:17:25

resolved all threads

By clayton craft on 2021-06-18T01:17:47

thanks for the contribution! Since this rename was breaking CI for other merge request (we need to improve the wiki device test..), I went ahead and fixed this up based on @minlexx's feedback, and rebased on master to get the new changes so shellcheck would pass.

By clayton craft on 2021-06-18T06:45:16

Thanks for merging. Just wanted to adjust the MR and saw it was already merged. :)

By Max on 2021-06-18T06:45:16

approved this merge request

By clayton craft on 2021-06-18T01:19:53

approved this merge request

By Alexey Min on 2021-06-18T01:20:09

merged