Closed Cathysdancel closed 6 months ago
@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?
gh-pages
Originally posted by @andrea-perego in https://github.com/w3c/dxwg/issues/1597#issuecomment-2069374559
Not relevant anymore pull 1597 was merged in the proper destination.
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?Originally posted by @andrea-perego in https://github.com/w3c/dxwg/issues/1597#issuecomment-2069374559