Closed riccardoAlbertoni 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?
@pchampin wrote
Since this will reflect automatically on the "live" version of the document on github pages, this should not be changed here. Once the rest of this PR is merged, I will generate a publication snapshot with the correct option.
Following @andrea-perego and @pchampin's comments, we need to drop the parts mentioning "features at risk," but we do not need to change the config stuff to prepare the actual PR. Pierre-Antoine will deal with the latter. Having accepted Pierre-Antoine's latest suggestions, we should be ready to merge this Pull Request to the live editorial draft.
Please check the following document preview document diff
Some Editorial changes to consider when pushing the ED as PR.
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.
@pchampin and all the editors, what do you think?