On 3 March 2016 at 19:11, Maton, Brett <mat...@ltresources.co.uk> wrote:
> How do I push a branch to git.postgresql.org/git/pgrpms.git ?
You can't push, but you can open a ticket at
https://redmine.postgresql.org/projects/pgrpms or write to the
pgsql-pkg-...@postgresql.org mailing list to request merging of a branch
you've published somewhere accessible.
Please explain what the change is and why it's needed in your ticket/email,
rather than just "please merge" etc.
Craig Ringer http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services