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.

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

Changelog may 2020 #43322

Merged
merged 9 commits into from
Aug 31, 2020
Merged

Conversation

kevingranade
Copy link
Member

Summary

SUMMARY: None

Purpose of change

Update the changelog for the month of May.

Describe the solution

tools/generate_changelog.py -f --by-date changelog_05 -t ../repo_token -e 2020-06-01 2020-05-01
tac changelog_05 > changelog_05_rev
tools/merge_summaries..sh changelog_05_rev data/changelog.txt
Then copyedit the results.

Additional context

Typos happen, and some of the things I prune might be bigger than I remember or part of some larger set of changes that should go in the changelog, please take a look at not just the final diff, but also the copyedit commit to check for missed entries.
Includes entries from #43316

@ZhilkinSerg ZhilkinSerg added the Organization General development organization issues label Aug 30, 2020
data/changelog.txt Outdated Show resolved Hide resolved
data/changelog.txt Outdated Show resolved Hide resolved
data/changelog.txt Outdated Show resolved Hide resolved
data/changelog.txt Outdated Show resolved Hide resolved
data/changelog.txt Outdated Show resolved Hide resolved
data/changelog.txt Outdated Show resolved Hide resolved
data/changelog.txt Outdated Show resolved Hide resolved
data/changelog.txt Outdated Show resolved Hide resolved
data/changelog.txt Outdated Show resolved Hide resolved
data/changelog.txt Outdated Show resolved Hide resolved
data/changelog.txt Outdated Show resolved Hide resolved
data/changelog.txt Outdated Show resolved Hide resolved
@ZhilkinSerg ZhilkinSerg merged commit ef9fd77 into CleverRaven:master Aug 31, 2020
@kevingranade kevingranade deleted the changelog-May-2020 branch September 1, 2020 00:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Organization General development organization issues
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants