00:00:50 it was my mistake, I added it without checking 00:01:18 (I usually do check CI before adding to the merge queue) 00:07:56 oops 01:28:35 selsta what would be nice is to have a little IRC bot like xmr-pr except that it keeps track of which PRs each dev wants to be reviewed the most 01:29:08 What do each of y'all want to be reviewed the most? 01:29:19 github labels? 01:30:41 .jeffros-wishlist 01:30:45 8724 01:31:58 > .jeffros-wishlist 01:31:58 "Better than Amazon wishlists!" 01:32:35 > github labels? 01:32:35 Is there a way to limit the number of labels created by one person? 01:36:12 Dot voting is a good way of dealing with large lists of options 01:42:12 You could give certain people dot privs, x number of dots, and you just .dot #6969 #1234 #9696 01:42:37 And it adds labels in GitHub 10:45:25 Just remove that patch. It is not needed, it was just a "warn caller on obvious mistake". I'd forgot one call was weird... 23:56:55 .merge+ 8736 23:56:55 Added