Hello all,
Is it preferable for builds from source to use the postgresql.org <http://postgresql.org/> git repo, or the github mirror, for CI purposes? We're not sure how much traffic to expect, but would want to avoid incur unnecessary hosting expenses.
Thanks,
Max