in reply to [OT] Restarting Travis from a pull request

You have to be a maintainer of the project in order to be allowed to restart a Travis build.

Try closing and re-opening the pull request. It works here at work, but I'm not sure it's a general GitHub-Travis behaviour or a proprietary enhancement.

map{substr$_->[0],$_->[1]||0,1}[\*||{},3],[[]],[ref qr-1,-,-1],[{}],[sub{}^*ARGV,3]

Replies are listed 'Best First'.
Re^2: [OT] Restarting Travis from a pull request
by syphilis (Archbishop) on Feb 07, 2020 at 12:32 UTC
    You have to be a maintainer of the project in order to be allowed to restart a Travis build

    Ok - that would explain it.

    Try closing and re-opening the pull request

    Heh ... obviously you have a deep understanding of the basic principles of IT ;-)))
    Thankfully, the PR in question has since been merged (and closed) ... and I aint messin wif nuffin. (One doesn't poke at Islam, and one doesn't poke at Github.)

    Seriously - thanks for your response, choroba.
    And thanks also to marto, for making me aware of the lower level possibilities.

    Cheers,
    Rob