Skip to content

Renumber metrology needs section following the merge of sections B, C, E#36

Open
ftessier wants to merge 3 commits intomainfrom
ftessier-renumber-sections
Open

Renumber metrology needs section following the merge of sections B, C, E#36
ftessier wants to merge 3 commits intomainfrom
ftessier-renumber-sections

Conversation

@ftessier
Copy link
Collaborator

This implements the suggestion in issue #35.

@ftessier ftessier changed the title Renumber metrology needs section to account for sections B, C, E merge Renumber metrology needs section following the merge of sections B, C, E Mar 29, 2023
@ftessier ftessier self-assigned this Mar 29, 2023
@ftessier ftessier requested a review from millemm March 29, 2023 23:36
Copy link

@millemm millemm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe we should discuss with executive committee? It seems the lettering was kept to preserve the history of the subcommittee name changes. Although, not clear to me how important this really is. It certainly would clean up the document if we started fresh with the lettering.

@ftessier
Copy link
Collaborator Author

ftessier commented Mar 30, 2023

@millemm Yes the idea is to discuss with the committee! But you are the only one here 😄 I wanted to give you a taste of how the change review process goes (a proposed change is called a pull request on github). You can ask for specific reviewers reviewers (as I did with you), you can assign people, etc. The idea would be that a change would be merged in the main branch once everyone approves it.

About the change itself, I am strongly in favour of updating the numbering, and the legacy version numbering can be explained in the text, similar to the intro in section B. At some point it is necessary to disambiguate the B,C,E. That point is now.

@ftessier ftessier added the cleanup Housekeeping label Mar 30, 2023
@ftessier ftessier added this to the Needs Report 2023 milestone Mar 30, 2023
@ftessier ftessier added the format Formatting of content label May 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cleanup Housekeeping format Formatting of content

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants