Gpdb needs to download a source with respect to a specific tag not master.
The '188.8.131.52' is version is not release, at least not on github.
It downloads the version which is git master at that random point in time.
I consider this a release blocker for 1.2
The consequence is that gpdb was failing on random platforms and days:
You will see that the sources are different on different builds: