| 05:29 | <MikeSmith> | JonathanNeal: I guess TabAtkins would know |
| 05:30 | <TabAtkins> | Not yet, no |
| 05:40 | <annevk> | TabAtkins: do you keep track of all your GitHub pings? |
| 05:40 | <TabAtkins> | Yes |
| 05:41 | <annevk> | Cool, I'll wait then |
| 05:42 | <MikeSmith> | by the way, has anybody else noticed over the last month or so that you seem to not always be getting github e-mail notifications for some mentions and review requests? |
| 05:42 | <MikeSmith> | because I’m pretty sure some of mine have not been getting to me |
| 05:43 | <annevk> | GitHub only ever emails me after I report someone for spam (and I asked them to stop doing that, but that's hard apparently) |
| 05:43 | <MikeSmith> | eh? |
| 05:43 | <annevk> | MikeSmith: https://github.com/notifications is my inbox |
| 05:43 | <MikeSmith> | ah |
| 05:44 | <MikeSmith> | yeah well I think that will not work for me, given the number of repos I’m watching |
| 05:44 | <annevk> | I appreciate the deduplication of lots of messages in a single issue to one line a lot |
| 05:44 | <MikeSmith> | ah yeah |
| 05:44 | <MikeSmith> | that is a pluc |
| 05:44 | <MikeSmith> | *plus |
| 05:44 | <MikeSmith> | but my e-mail client also deals with that pretty well |
| 05:44 | <annevk> | And yeah, I stopped watching stuff, just like I unsubscribed from lists |
| 05:46 | <MikeSmith> | well I have always for years had a huge volume of e-mail notifications, from bugzilla long before github |
| 05:46 | <MikeSmith> | and still also from other bugilla, b.m.o and webkit |
| 05:47 | <MikeSmith> | I have a way of managing it OK in my e-mail client |
| 05:47 | <MikeSmith> | but it sorta breaks down when I don’t actually get the expected notifications |
| 05:48 | <MikeSmith> | not sure if the reason I’m not getting them is because of github failing to send them to me for some reason, or instead my e-mail server filtering them out as spam |
| 05:48 | <MikeSmith> | I kinda really doubt it' |
| 05:48 | <MikeSmith> | *kinda really doubt it’s my e-mail server doing it |
| 05:50 | <MikeSmith> | anyway I’ve fallen back to manually checking https://github.com/pulls/review-requested and https://github.com/pulls/mentioned etc periodically.. though I don’t always remember to do it every day |
| 05:51 | <MikeSmith> | annevk: anyway in other news, I have a patch ready for multipage dfn.js |
| 05:51 | <MikeSmith> | will raise a PR for it shortly |
| 05:51 | <annevk> | Oh cool |
| 05:52 | <MikeSmith> | yeah though in the process I realize we can’t merge it at resources.whatwg.org |
| 05:53 | <MikeSmith> | since I guess other specs are using dfn.js, and this patch changes it to rely on the JSON data file from wattsi |
| 05:53 | <MikeSmith> | even for dfn handline in single-page |
| 05:53 | <MikeSmith> | *handling |
| 05:54 | <MikeSmith> | because I assume for HTML we don’t want to maintain two separate mechanisms for single-page vs multipage |
| 05:55 | <MikeSmith> | so if we don’t want the multipage-enabled dfn.js at https://resources.whatwg.org/dfn.js I’m not sure where else it should god |
| 05:55 | <MikeSmith> | *go |
| 05:55 | <MikeSmith> | but I guess in html-build |
| 05:56 | <annevk> | We could I suppose have a different dfn.js for multipage |
| 05:56 | <annevk> | Until some other spec needs it (hopefully never) |
| 05:56 | <MikeSmith> | OK |
| 05:56 | <MikeSmith> | well for now I will just PR it as patch against the existing dfn.js |
| 05:57 | <MikeSmith> | that way we can review it as a diff |
| 05:57 | <MikeSmith> | it’s really not the big of a change as far as that code goes |
| 13:03 | <hsivonen> | annevk: apparently half-width Katakana is still enough of a thing for https://gemmarx.github.io/unicode-jp-rs/doc/kana/index.html to exist |
| 13:04 | <hsivonen> | use case says "terminal" |
| 13:05 | <annevk> | hsivonen: heh |
| 13:06 | <annevk> | hsivonen: shall I just update the patch and assume jungshik will be okay with it? |
| 13:36 | <annevk> | hsivonen: I just went ahead, wasn't that hard |
| 15:41 | <MikeSmith> | PSA: https://sideshowbarker.net/html/multipage/ has cross-multipage dfn.js enabled, for anybody interested in helping test it |
| 15:42 | <MikeSmith> | https://sideshowbarker.net/html/ has single-page using the cross-multipage dfn.js code |