According to docker hub the 12-master image was last pushed a day ago, but the version of PostGIS there is 67 commits behind the current master. Where's the pipeline to push images there described ? --strk;