[Lava-users] How to rename a devicetype (and deprecate the old one)

Hello

I have a cubietruck in LAVA, but its devicetype does not follow the rule "devicetype should be the same as devicetree name". Diverting from this rule, make difficult to find if the device is already handled by LAVA. I have lots of other boards which suffer the same problem (odroid-xu3 for example)

Do you already have a process for renaming devicetype ?

If not, why about duplicating to the correct name (sun7i-a20-cubietruck) and adding some tags (comment like "{# set deprecated = true}") to the old one. The deprectation warning could be printed by the LAVA web interface like the warning about not having health checks. After some release, the deprecated devicetype could be removed.

Regards