Editorial: style fix and production link fix#138
Conversation
There was a problem hiding this comment.
Thanks for contributing! This is great!
Other than the question regarding the workflow (I know it's coming from the template), this looks good to merge.
I'm also curious what formatter you are using? The default HTML formatter on VSCode doesn't work for me. I'm using the ECMarkup extension from Ron Buckton for highlighting though.
| @@ -0,0 +1,19 @@ | |||
| name: Deploy spec | |||
There was a problem hiding this comment.
What does this Github workflow do? Does it build the site for every PR?? That WOULD be great!
There was a problem hiding this comment.
it's from https://github.com/tc39/template-for-proposals/blob/main/.github/workflows/build.yml
It will automatically build the index.html for you and commit&push to the branch so you won't' forget to build it.
By my hand 😂 |
3 participants
This PR only contains non-normative changes. Applies "ignore space changes" will make it easier to review.