06:10
<annevk>
navigation API is for the sole use of the Navigation API. navigation was originally for the complete navigate algorithm. But not necessarily browsing context creation and such. frames/navigables/browsing history would cover browsing context creation. And I guess history, I never really read that part... So not sure why we also have a separate history. I wouldn't mind if someone reorganized this a bit.
06:11
<annevk>
Does anyone know since when PR Preview is not working for HTML anymore? Did anyone file an issue already?
06:13
<sideshowbarker>
I think the hosting will move to W3C.
06:14
<sideshowbarker>
For specref too
06:15
<sideshowbarker>
I’m not a party to any decision-making about it, but that’s what I’ve gleaned is most likely
06:15
<sideshowbarker>
I don’t know about when it started
06:16
<sideshowbarker>
First I heard was last week, auto-publishing for some W3C WG specs broke, due to specref
06:18
<sideshowbarker>
OK I find https://github.com/tobie/pr-preview/issues/186
06:18
<sideshowbarker>
…which cites https://lists.w3.org/Archives/Public/spec-prod/2026JulSep/0002.html
06:19
<sideshowbarker>

Specref and PR Preview are currently unavailable due to an issue with the
Heroku account on which these services are hosted.

06:39
<annevk>
I ran it again and it came up with https://gist.github.com/annevk/adeb57f8be2ccd3d75fb8d8523cf598a#file-tt-3-txt Seems like it should be close, but some of the fixes regressed a few things maybe?
06:40
<annevk>
Thank you! That's unfortunate. (The incident, not it moving to the W3C. That might be a good thing.)
07:51
<Ms2ger>
Yeah, having our entire spec ecosystem rely on tobie not cancelling his credit card (much as his contributions are appreciated) is not exactly robust
08:19
<Noam Rosenthal>
yea it seems mostly related to the follow up changes. Fixed now. I think the suggestion for how to handle XML is better, applied that
08:24
<Noam Rosenthal>
(also keeping the WPT PR up to date with these changes)
09:11
<zcorpan>
If PR preview was working we could see the effect of these changes https://github.com/w3c/htmldiff-ui/pull/26
13:05
<Tom Schuster>
So this is a known issue? I kind of rely on it for review.
13:33
<zcorpan>
Yes see previous comments in the channel