Andrew Dunstan <and...@dunslane.net> writes: > The buildfarm server now creates a companion to branches_of_interest.txt > called branches_of_interest.json which looks like this:
... okay ... > It updates this every time it does a git fetch, currently every 5 minutes. That up-to-five-minute delay, on top of whatever cronjob delay one has on one's animals, seems kind of sad. I've gotten kind of spoiled maybe by seeing first buildfarm results typically within 15 minutes of a push. But if we're trying to improve matters in this area, this doesn't seem like quite the way to go. But it does seem like this eliminates one expense. Now that you have that bit, maybe we could arrange a webhook or something that allows branches_of_interest.json to get updated immediately after a push? regards, tom lane