Missing PG 12 stable branch

On Thu, Jun 27, 2019 at 10:28:40AM -0400, Bruce Momjian wrote:

Does anyone know why there is no PG 12 stable branch in our git tree?

$ git branch -l
REL9_4_STABLE
REL9_5_STABLE
REL9_6_STABLE
REL_10_STABLE
REL_11_STABLE
master

They exist for earlier releases. Is this a problem?

Sorry, I now realize that we haven't branched git yet for PG 12, so
there is no branch. I have fixed pglife to handle that case:

https://pglife.momjian.us/

--
Bruce Momjian <bruce@momjian.us> http://momjian.us
EnterpriseDB http://enterprisedb.com

+ As you are, so once was I.  As I am, so you will be. +
+                      Ancient Roman grave inscription +

On Thu, Jun 27, 2019 at 10:28:40AM -0400, Bruce Momjian wrote:

Does anyone know why there is no PG 12 stable branch in our git tree?

$ git branch -l
REL9_4_STABLE
REL9_5_STABLE
REL9_6_STABLE
REL_10_STABLE
REL_11_STABLE
master

They exist for earlier releases. Is this a problem?

We haven't stamped master as 13dev yet ...

regards

--
Tomas Vondra http://www.2ndQuadrant.com
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services

Bruce Momjian <bruce@momjian.us> writes:

Does anyone know why there is no PG 12 stable branch in our git tree?

For the record, I'm intending to make the branch as soon as the
July CF starts (i.e., first thing Monday).

regards, tom lane