On 2018-Dec-08, Alexander Lakhin wrote:

> I use a bash script to collect all pot's from branches in git:

I too wrote a bunch of scripts to handle these tasks :-( and they are
quite ugly.  Maybe we need a better way, such as the API being
requested (we can discuss exactly what would be useful)

--
Álvaro Herrera                https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services