Have to bump prio on that one: if the user has such a repo enabled PK fails entirely to provide a solution and as a result does not propose any updates to the user