11:37 < bitcoin-git> [bitcoin] TheBlueMatt opened pull request #16174: Add a new peer state tracking class to reduce cs_main contention. (master...2019-06-net-processing-no-main-start) https://github.com/bitcoin/bitcoin/pull/16174

11:51 < bitcoin-git> [bitcoin] TheBlueMatt opened pull request #16175: Call ProcessNewBlock() asynchronously (master...2019-06-add-second-thread) https://github.com/bitcoin/bitcoin/pull/16175

12:47 < bitcoin-git> [bitcoin] NicolasDorier opened pull request #16176: Allow NODE_BLOOM services for whitelisted peers (master...feature/node-bloom-whitelisted) https://github.com/bitcoin/bitcoin/pull/16176

15:52 < pierre_rochard> Hello, does anyone have a High Priority PR # that was recently merged? Testing a query

16:03 < meshcollider> pierre_rochard: #15024

16:04 < gribble> https://github.com/bitcoin/bitcoin/issues/15024 | Allow specific private keys to be derived from descriptor by meshcollider · Pull Request #15024 · bitcoin/bitcoin · GitHub

16:05 < pierre_rochard> meshcollider: perfect, thank you!

16:15 < pierre_rochard> After a High Priority PR is merged, do maintainers "Archive" or "Remove from project" the card? Screenshot of that dialogue: https://gist.github.com/PierreRochard/c3679aa02c017556d7dced011bbf5f25

16:16 < meshcollider> pierre_rochard: the card is left there, the PR itself is just removed from the card

16:19 < pierre_rochard> Is removing the PR from the card a manual GUI step on github? or does that automatically happen on merge?

16:20 < pierre_rochard> I tried reproducing the behavior on my own repo, all that happened was that the card reflected the PR's merged status but no archive/remove happened

16:24 < meshcollider> pierre_rochard: a manual step

16:25 < meshcollider> You can see I removed it from the card after laanwj merged it

16:29 < pierre_rochard> I see, just to clarify, in github's data model, a repo has many projects (High-priority for review), a project has many columns (Blockers), a column has many cards, and a card is just a proxy to either an issue or a PR. You manually removed the PR card from the Blockers column

16:31 < pierre_rochard> Unfortunately "Remove" is a hard delete, where as "Archive" is a soft delete. Archive was recently added and its usage enables queries like "of the merged high priority PRs, what's the average time they were high priority"

16:33 < meshcollider> Ah yes I mixed up card with column. Yep that sounds correct

16:33 < pierre_rochard> I would recommend trying out Archive going forward and seeing if using it has a negative secondary effect or has the same outcome (with better analytics)

16:34 < meshcollider> How do you view archived cards?

16:34 < pierre_rochard> https://gist.github.com/PierreRochard/6b0c01c7aab7bcea87095c7e442b78a7

16:35 < pierre_rochard> https://developer.github.com/v4/explorer/

16:35 < meshcollider> I'm happy to archive from now on

16:35 < pierre_rochard> copy paste the graphql query into the github graphql explorer

16:35 < pierre_rochard> meshcollider: oh I misunderstood your question

16:36 < pierre_rochard> I actually wasn't able to find a view of just archived cards on the GUI, I'm sure I could cook up a graphql query for it though

16:37 < meshcollider> Ah ok, no problem, just wondered

17:12 < bitcoin-git> [bitcoin] PastaPastaPasta opened pull request #16177: [Trivial] Scripted update copyright (master...update-copyright-bitcoin) https://github.com/bitcoin/bitcoin/pull/16177

17:50 < bitcoin-git> [bitcoin] fanquake closed pull request #16177: [Trivial] Scripted update copyright (master...update-copyright-bitcoin) https://github.com/bitcoin/bitcoin/pull/16177

19:20 < bitcoin-git> [bitcoin] TheBlueMatt closed pull request #16174: Add a new peer state tracking class to reduce cs_main contention. (master...2019-06-net-processing-no-main-start) https://github.com/bitcoin/bitcoin/pull/16174