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