> On Jul 28, 2021, at 14:02, Dave Page <dpage@pgadmin.org> wrote:
>
> No that is not the case, at least for community and EDB packages. It might be the case for upstream distributors
though(eg. OS vendors).
They all pull from the community Git repo, though, correct?