Previously, pglife (http://pglife.momjian.us/) showed all commits for the "devel" branch back back to the start of the git tree. It now shows only commits since the last major branch. For example, "12 devel" now shows only commits since we branched the git tree for PG 11.
This should make it easier to see what we have done for PG 12. Unfortunately, it doesn't remove backbranch commits like git_changelog because it uses a preexisting gitweb page. -- Bruce Momjian <br...@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 +