Help debugging gitlab and/or shell script

Jason Azze jason at
Sat Nov 25 13:57:58 UTC 2017

On Fri, Nov 24, 2017 at 2:51 AM, Hal Murray via devel <devel at> wrote:

> Did this work before my change?  Is somebody working on the gitlab stuff and
> my push just happened at the right time to uncover a bug?

I suspect this was a transient CI error or possibly related to work
Matt was doing at that time (as you suggest). It looks like the CI
build for that commit recovered automagically on a second try.

More information about the devel mailing list