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 pass on 5.0 release notes #1311

Merged
merged 3 commits into from
Aug 28, 2023
Merged

Editorial pass on 5.0 release notes #1311

merged 3 commits into from
Aug 28, 2023

Conversation

ahankinson
Copy link
Member

@ahankinson ahankinson commented Aug 15, 2023 •
edited

This PR contains a review of the text for the 5.0 release. The content and intent was preserved, but some formatting and wording was modified.

Specifically:

  • Long URLs were shortened with linked text to help the prose flow better. A list of repository URLs was added instead of inline text.
  • The MEI Basic section was slightly expanded
  • A paragraph was added about the IG additions to the guidelines
  • Wording was simplified

@ahankinson
Editorial pass on 5.0 release notes
bb844bb 
This PR contains a review of the text for the 5.0 release. The content and intent was preserved, but some formatting and wording was modified.

Specifically:
 - Long URLs were shortened with linked text to help the prose flow better. A list 
 - The MEI Basic section was slightly expanded
 - A paragraph was added about the IG additions to the guidelines
 - Wording was simplified
@github-actions github-actions bot added the Component: Guidelines & Documentation changes to source: docs, examples or web (assigned automatically) label Aug 15, 2023
rettinghaus
rettinghaus approved these changes Aug 15, 2023
View reviewed changes
Copy link
Member

@rettinghaus rettinghaus left a comment

Choose a reason for hiding this comment

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

Thank you, @ahankinson.

@bwbohl bwbohl added this to the MEI 5.0 milestone Aug 23, 2023
@bwbohl bwbohl deleted the branch release/v5.0 August 28, 2023 21:15
@bwbohl bwbohl closed this Aug 28, 2023
@ahankinson
Copy link
Member Author

Hmm @bwbohl are these being closed on purpose?

@bwbohl bwbohl reopened this Aug 28, 2023
@bwbohl
Copy link
Member

bwbohl commented Aug 28, 2023

@ahankinson sorry, was a mistake…

@bwbohl bwbohl merged commit a5d69ed into release/v5.0 Aug 28, 2023
2 checks passed
@rettinghaus rettinghaus mentioned this pull request Aug 29, 2023
Closed
@musicEnfanthen musicEnfanthen deleted the release-notes-5.0 branch September 1, 2023 00:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bwbohl bwbohl bwbohl approved these changes

@rettinghaus rettinghaus rettinghaus approved these changes

Assignees
No one assigned
Labels
Component: Guidelines & Documentation changes to source: docs, examples or web (assigned automatically)
Projects
ODD meetings
Status: ✅ Done
Milestone
MEI 5.0
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@ahankinson @bwbohl @rettinghaus