deviceinfo: Why the manufacturer in the beginning of deviceinfo_name?
@ollieparanoid In pmbootstrap@f10ac0ea you added a CI check and prepended all deviceinfo_name variables with deviceinfo_manufacturer.
I'm hitting the CI check currently in !623 (merged) because the A64-LTS from PINE64 is officially called "PINE A64-LTS" and the manufacturer is "PINE64" so the CI check would want deviceinfo_name to be "PINE64 PINE A64-LTS" which is really not nice.
And why does the manufacturer have to be in the name anyways because we do have the manufacturer variable...
And if we really want to keep it the way it is, the example at https://wiki.postmarketos.org/wiki/Devices because the examples is literally the only exception to the CI check ("Google" in deviceinfo_name)