Rob Lourens 1b5fffdd06 Remove -label:verification-found from verification queries. (#181282) ... Often, either this label is added without reopening the issue, or the issue is fixed without removing the label. In both cases the issue can currently just get lost.		2023-05-02 01:18:49 +02:00
..
api.github-issues	Bump github issue notebook milestones (#178501)	2023-03-28 17:19:35 +02:00
endgame.github-issues	Remove -label:verification-found from verification queries. (#181282)	2023-05-02 01:18:49 +02:00
grooming-delta.github-issues	Update the tracked repos	2021-10-20 12:30:41 +02:00
inbox.github-issues	Fix missing label changes (#156164)	2022-07-25 16:37:32 +02:00
my-endgame.github-issues	Add a couple teammates to my-endgame notebook (#181059)	2023-04-27 20:43:26 +02:00
my-work.github-issues	Bump github issue notebook milestones (#178501)	2023-03-28 17:19:35 +02:00
papercuts.github-issues	don't save outputs anymore	2021-03-29 09:20:12 +02:00
verification.github-issues	update issues milestone. (#174609)	2023-02-16 19:41:10 +01:00
vscode-dev.github-issues	Update some milestones in notebooks (#150545)	2022-05-27 15:21:56 +00:00