On Tue, Jan 28, 2020 at 5:18 PM Florian Rivoal <florian@rivoal.net> wrote: > I have on occasion already asked around, but couldn't find someone who was sure about who controls it. Given that this bot follow Tab and Mathias and no-one else, I think there's a decent chance that it's either of them, but possibly not. Yeah, I'm in control of it. Looking into it a bit, it appears that the service it depended on at GitHub is deprecated and might have broken. I'll have to figure out another way to do this; a quick look shows that it shouldn't be too complicated, but will be a little bit of work. ~TJReceived on Wednesday, 29 January 2020 01:57:19 UTC
This archive was generated by hypermail 2.4.0 : Friday, 25 March 2022 10:09:14 UTC