On 2022-11-21 Mo 15:58, Tom Lane wrote: > 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.
Well, 5 minutes was originally chosen because it was sufficient for the purpose for which up to now the server used its mirror. Now we have added a new purpose we can certainly revisit that. Shall I try 2 minutes or go down to 1? > > 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? > > Sure, if you think and extra few seconds is worth saving. cheers andrew -- Andrew Dunstan EDB: https://www.enterprisedb.com
