Giters

gnuradio / gnuradio-buildbot

Configuration for the GNU Radio CI system powered by Buildbot

Home Page:https://ci.gnuradio.org/buildbot

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

PR: work around GH merge/ ref delay

noc0lour opened this issue · comments

commented

GH takes some time to generate the magic merge/ ref after sending the webhook to the CI system. Workaround to retry multiple times with some reasonable delay.