- From: Oriol Brufau via GitHub <sysbot+gh@w3.org>
- Date: Mon, 10 Feb 2025 09:33:26 +0000
- To: public-css-archive@w3.org
OK, ironically after https://github.com/whatwg/html/pull/11005, I need to switch back to using Github pages, e.g. https://w3c.github.io/csswg-drafts/css-flexbox/
I have written this violentmonkey script to avoid the redirection to the official website:
```js
// ==UserScript==
// @name CSSWG drafts in Github Pages
// @namespace https://github.com/Loirooriol/
// @match https://w3c.github.io/csswg-drafts/*
// @grant none
// @version 1.0
// @author Oriol Brufau
// @description Avoids redirecting away from the CSSWG drafts hosted in Github Pages
// @run-at document-start
// ==/UserScript==
addEventListener("beforescriptexecute", function listener(event) {
if (event.target.textContent.includes("githubPrefix")) {
event.preventDefault();
removeEventListener("beforescriptexecute", listener);
}
});
```
--
GitHub Notification of comment by Loirooriol
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/11354#issuecomment-2647426595 using your GitHub account
--
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 10 February 2025 09:33:26 UTC