- From: Andrea Perego via GitHub <sysbot+gh@w3.org>
- Date: Mon, 22 Apr 2024 13:12:09 +0000
- To: public-dxwg-wg@w3.org
@riccardoAlbertoni said: > I'm not sure when this Pull Request needs to be merged; I guess after the group vote for moving to PR might be a good time. I'm not sure if it should be actually merged into the `gh-pages` branch. The ED is meant to stay, and shouldn't be overwritten. Am I wrong? -- GitHub Notification of comment by andrea-perego Please view or discuss this issue at https://github.com/w3c/dxwg/pull/1597#issuecomment-2069374559 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 22 April 2024 13:12:10 UTC