Re: [sage-devel] Problems setting patchbots

2019-12-06 Thread Dima Pasechnik
On Fri, Dec 6, 2019 at 12:04 PM mmarco wrote: > > I am setting up several virtual machines with different distros to run > patchbots on them. In particular I want to use different distros (including > less usual ones) to get more diversity in the patchbot set. > > However, I am finding some prob

[sage-devel] Problems setting patchbots

2019-12-06 Thread mmarco
I am setting up several virtual machines with different distros to run patchbots on them. In particular I want to use different distros (including less usual ones) to get more diversity in the patchbot set. However, I am finding some problems: A debian machine is returning the following error w