Skip to content

Merge release/dev16.5 to master#41435

Merged
JoeRobich merged 2 commits intomasterfrom
merges/release/dev16.5-to-master
Feb 7, 2020
Merged

Merge release/dev16.5 to master#41435
JoeRobich merged 2 commits intomasterfrom
merges/release/dev16.5-to-master

Conversation

@dotnet-bot
Copy link
Copy Markdown
Collaborator

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

git fetch --all
git checkout merges/release/dev16.5-to-master
git reset --hard upstream/master
git merge upstream/release/dev16.5
# Fix merge conflicts
git commit
git push upstream merges/release/dev16.5-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 February 5, 2020 20:06
@dotnet-bot dotnet-bot added Area-Infrastructure auto-merge Merge Conflicts There are merge conflicts with the base branch. labels Feb 5, 2020
Copy link
Copy Markdown

@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

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.

3 participants