| 02:00 | <Domenic> | annevk: I wonder if https://github.com/whatwg/dom/pull/1307 and https://github.com/whatwg/html/pull/10657 fell off your radar |
| 07:12 | <annevk> | Domenic: I think the former only got updated to address feedback from smaug literally yesterday? |
| 07:13 | annevk | looks again |
| 07:13 | <Domenic> | Oh you're right, the trillions of hidden items and other GitHub references confused me |
| 07:14 | <annevk> | Yeah, hidden items on GitHub is such an issue. I would honestly prefer a plain text view that doesn't do that if the concern is bandwidth. |
| 07:18 | <sideshowbarker> | I recommend making some time to try out https://github.com/dlvhdr/gh-dash when you have a chance. With that you can browse through and view all comments for a PR/issue without needing to un-hide stuff |
| 07:19 | <sideshowbarker> | …among a lot of other really-useful things you can do with it (e.g., review and merge PRs from within it) |
| 07:20 | <sideshowbarker> | Maybe eventually ween yourself off needing to use the GitHub web UI very much at all |
| 07:21 | <sideshowbarker> | I contributed a couple feature patches to that tool so far — and may contribute some more, as I switch to using it for more things |
| 08:52 | <annevk> | zcorpan smaug any final thoughts on https://github.com/whatwg/html/pull/11053? If not I'm gonna merge it. |
| 09:33 | <Luke Warlow> | Oh you're right, the trillions of hidden items and other GitHub references confused me |