[01:07:22] <Reedy>	 legoktm: Any idea if we're likely to every use https://github.com/wikimedia/mediawiki-libs-etcd ?
[01:07:47] <Reedy>	 I was going to remove the travis badge, then noticed the docs seem out of date, it's not published on packagist etc
[01:09:28] <legoktm>	 Reedy: we should probably archive it if Aaron doesn't think we'll use it. I tried pushing stuff upstream but they were inactive iirc so I forked it but by then Aaron already wrote a client for core.
[01:10:24] <legoktm>	 If possible we could librarize what he wrote?
[01:10:35] <Reedy>	 Potentially :)
[01:11:02] <Reedy>	 It was partially to prevent people wasting cycles on code that we weren't gonna actually use etc :)
[01:11:29] <James_F>	 legoktm: Relatedly, I just fiddled and made https://gerrit.wikimedia.org/r/#/c/labs/codesearch/+/565424 to have a /libraries/ code search for Wikimedia-authored "upstreams" in PHP.
[01:11:50] <James_F>	 (Boldly, assuming I have any idea what I'm doing.)
[01:12:49] * Reedy files a task
[09:40:29] <addshore>	 :D
[11:14:40] <paladox>	 James_F: lol what a name :P