Philip Jägenstedt

We never resolved (merged) https://github.com/web-platform-tests/rfcs/pull/120 but indeed that seems like the best way to handle this.

Good idea. This can be determined from the PR itself and doesn't require storing state in wpt-pr-bot. Can you file a separate issue for vacation logic if you have a...

> I still rely on this tags when there is a issue with WebKitGTK on the CI that needs to be investigated. Can you describe how you use the existing...

> I don't believe we rely on this for anything, so no objections on that front, but the RFC doesn't seem to set out the case for the change, only...

> > We could also do likewise with the merge tags. > > > > That would be a ~breaking change for the gecko sync (we use the tags in...

> > My motivation is to make git fetch and git log less noisy. > > > > Can you update the RFC with this reasoning? Will do after I've...

Thanks @zcorpan, I like these mockups! For wpt.live, would you suggest showing this navigation only in directory listings, or how do we avoid it interfering with tests?

As part of https://github.com/web-platform-tests/wpt/pull/21855 I've spotted another third party JavaScript library in the repo, https://github.com/nodeca/pako added in https://github.com/web-platform-tests/wpt/pull/19614.

I've commented on https://github.com/web-platform-tests/wpt/pull/21855#issuecomment-641217990 about the difficulties I ran into and closed the PR to make it clear I'm not making any progress on it, and don't expect to.

Thanks @LukeZielinski, that's super helpful! Given "our own package server ... currently a manual process" would it be fair to say that it'd be an improvement if dependencies in WPT...