Skip to content
This repository has been archived by the owner on Apr 20, 2023. It is now read-only.

Merge release/2.1.4xx to release/2.1.5xx #10089

Merged
merged 5 commits into from
Oct 16, 2018

Conversation

dotnet-bot
Copy link

This is an automatically generated pull request from release/2.1.4xx into release/2.1.5xx.

git fetch --all
git checkout merges/release/2.1.4xx-to-release/2.1.5xx
git reset --hard upstream/release/2.1.5xx
git merge upstream/release/2.1.4xx
# Fix merge conflicts
git commit
git push merges/release/2.1.4xx-to-release/2.1.5xx --force

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

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

@livarcocc livarcocc added this to the 2.1.5xx milestone Oct 16, 2018
@livarcocc livarcocc merged commit d3b6a58 into release/2.1.5xx Oct 16, 2018
@livarcocc livarcocc deleted the merges/release/2.1.4xx-to-release/2.1.5xx branch October 16, 2018 20:52
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants