Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[EDITORIAL] update Editorial Guidelines file name #661

Merged
merged 2 commits into from
Dec 11, 2024
Merged

[EDITORIAL] update Editorial Guidelines file name #661

merged 2 commits into from
Dec 11, 2024

Conversation

jpradocueva
Copy link
Contributor

Remove the underscore from EDITORIAL_GUIDELINES.md and move it to EDITORIAL-GUIDELINES.md as per good practice policy.

@jpradocueva jpradocueva requested a review from a team as a code owner November 26, 2024 21:15
@jpradocueva jpradocueva added the editorial Items that address editorial and minor changes label Dec 6, 2024
@jpradocueva
Copy link
Contributor Author

@shawnalpay, we need one more approval for this editorial topic. Could you please approve it? Thanks.

@jpradocueva jpradocueva merged commit fc182b0 into working_draft Dec 11, 2024
1 of 2 checks passed
@jpradocueva jpradocueva deleted the editorial-updat-guidelines-file-name branch December 11, 2024 05:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kk09v kk09v kk09v approved these changes

@shawnalpay shawnalpay shawnalpay approved these changes

@flanakin flanakin flanakin approved these changes

Assignees
No one assigned
Labels
editorial Items that address editorial and minor changes
Projects
FOCUS WG
Status: W.I.P
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@jpradocueva @flanakin @shawnalpay @kk09v