Help debugging gitlab and/or shell script

[Jason Azze]

On Fri, Nov 24, 2017 at 2:51 AM, Hal Murray via devel <devel at ntpsec.org> 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.