On 2017-01-03 13:02:28 -0500, Bruce Momjian wrote:
> Yeah, I was doing parallel pulls of different branches in git via shell
> script, and it seems the size of this commit showed me that doesn't
> work. Sorry.
Shouldn't you check the results of something like this before pushing?
Sorry for piling on, but that seems like a quite critical step.
Andres