Stef Walter <stefw(a)redhat.com> writes:
A little bird also whispered in my ear that Marius has found a
work-around for the Travis bug that has been bothering us.
Yes, see here
https://github.com/travis-ci/travis-ci/issues/4704
Since I can't seem to let go of this, I'll probably try to make a simple
reproducer and maybe even dig into the code a bit. (But I have to say I
don't know enough about ptys to be of immediate help here.)