[10:42:56] <volans>	 moritzm, jbond42: I'm back for that debmonitor deploy if it doesn't disrupt any ongoing work
[10:43:16] <jbond42>	 volans: ok with me
[10:45:15] <moritzm>	 fine with me!
[10:46:05] <volans>	 thanks
[11:02:00] <volans>	 all good, we now have a basic search capability in debmonitor! (it was developed looong time ago ;) )
[11:02:27] <volans>	 I already see a bunch of possible improvements but it should already be useful
[11:02:31] <volans>	 see https://debmonitor.wikimedia.org/search?q=cumin
[11:02:40] <volans>	 or https://debmonitor.wikimedia.org/search?q=ian
[11:05:26] <moritzm>	 looks good, thanks!
[11:05:57] <_joe_>	 oh you quote input correctly, nice
[11:06:34] <_joe_>	 and yes, looks good :)
[11:08:06] <volans>	 I'd like to add an easy way to close a group or a summary at the top with each group count of results
[11:08:49] <volans>	 but in the meanwhile you can use the Filter with the group name
[11:09:35] <volans>	 trickier with 'Packages' and 'Package Versions' as they would include the Source ones too, we might need to rename that to Binary...
[12:02:34] <volans>	 moritzm: what do we want to do with https://phabricator.wikimedia.org/T216832 btw?
[12:04:33] <moritzm>	 let's just add the user with a home, it's on my TODO list. I don't see a different option given the behaviour of the new su
[12:05:07] <volans>	 ack