Peter Eisentraut wrote:
> (We could also blow away the master branch altogether and recreate it
> later, but I don't know what that would do to new checkouts in the
> meantime, because we don't have access to set the default branch on the
> git.postgresql.org hosting.)
I have changed the default branch to refs/heads/REL9_4_STABLE. Not
great, because you don't get 9.5 anymore in a default checkout. Feel
free to create the REL9_5_STABLE branch and remove master, and I can
re-point default branch to that.
--
Álvaro Herrera http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services