Update: we are using labels for devices now, not milestones:

https://gitlab.com/postmarketOS/pmaports/-/issues?scope=all&utf8=%E2%9C%93&state=all&label_name[]=device-pine64-pinephone