Skip to content

Conversation

@dotnet-bot
Copy link
Collaborator

This is an automatically generated pull request from release/dev16.5-vs-deps into release/dev16.6-vs-deps.

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

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

…se/dev16.5-vs-deps

Merge release/dev16.5 to release/dev16.5-vs-deps
@dotnet-bot dotnet-bot requested review from a team as code owners April 9, 2020 18:01
@dotnet-bot dotnet-bot added Area-Infrastructure auto-merge Merge Conflicts There are merge conflicts with the base branch. labels Apr 9, 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

@JoeRobich
Copy link
Member

merging as there are no file changes in this pr.

@JoeRobich JoeRobich merged commit fc1d4e1 into release/dev16.6-vs-deps Apr 9, 2020
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