Skip to content

Merge release/dev16.6 to master#43529

Merged
3 commits merged intomasterfrom
merges/release/dev16.6-to-master
Apr 23, 2020
Merged

Merge release/dev16.6 to master#43529
3 commits merged intomasterfrom
merges/release/dev16.6-to-master

Conversation

@dotnet-bot
Copy link
Collaborator

This is an automatically generated pull request from release/dev16.6 into master.

git fetch --all
git checkout merges/release/dev16.6-to-master
git reset --hard upstream/master
git merge upstream/release/dev16.6
# Fix merge conflicts
git commit
git push upstream merges/release/dev16.6-to-master --force

Once all conflicts are resolved and all the tests pass, you are free to merge the pull request.

@dotnet-bot dotnet-bot requested a review from a team as a code owner April 21, 2020 03:01
@dotnet-bot dotnet-bot added Area-Infrastructure auto-merge Merge Conflicts There are merge conflicts with the base branch. labels Apr 21, 2020
Copy link

@ghost ghost left a comment

Choose a reason for hiding this comment

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

Auto-approval

@ghost ghost merged commit 9d278ca into master Apr 23, 2020
@ghost ghost deleted the merges/release/dev16.6-to-master branch April 23, 2020 00:28
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-Infrastructure auto-merge Merge Conflicts There are merge conflicts with the base branch.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants