I'm attempting to raise the priority of packages from the Ondrej PHP PPA from 500 to 1000.

I attempted this:

Package: *

Pin: o=LP-PPA-ondrej-php,a=bionic,n=bionic,c=main,b=amd64

Pin-Priority: 1001

But apt did not understand the Pin directive

default: Did not understand pin type o=LP-PPA-ondrej-php,a=bionic,n=bionic,c=main,b=amd64

I've found documentation that allows me to do this for top level domain origins for example i succesfully pinned nodesource using:

Package: *

Pin: origin deb.nodesource.com

Pin-Priority: 1001

But not specific PPA's. How would I pin a specific PPA?