Hi Ilya, On Tue, Jan 05, 2021 at 08:11:00PM +0500, ???? ??????? wrote: > ping....
I thought you were going to change something regarding this below: > >> Looks good to me in general. However for this one it would probably be > >> sufficient to run it on schedule once a day / week or so. The contrib > >> stuff is not that important. > >> > > > > I'm ok with running them on push. Does this mean this is what the current patch implements ? In any case, I just need to know if I have to merge it or not, nothing more. Thanks, Willy