GitLab

A small helper function is added to make this easier. Priorities are not
yet used in all necessary places.
Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>