Skip to content
This repository was archived by the owner on Nov 1, 2020. It is now read-only.

Manual mirror of changes from dotnet/coreclr - PR 15410 - #5081

Closed
ahsonkhan wants to merge 1 commit into
dotnet:masterfrom
ahsonkhan:manual-mirror-merge-15410
Closed

Manual mirror of changes from dotnet/coreclr - PR 15410#5081
ahsonkhan wants to merge 1 commit into
dotnet:masterfrom
ahsonkhan:manual-mirror-merge-15410

Conversation

@ahsonkhan

Copy link
Copy Markdown
Contributor

Add optional integer offset to OwnedMemory Pin [mirror]

Is the mirror to CoreRT broken?
I don't see this PR from coreclr mirrored in corert, resulting in the CI failure (in here - dotnet/corefx#25787).

https://ci3.dot.net/job/dotnet_corefx/job/master/job/windows-TGroup_uapaot+CGroup_Release+AGroup_x86+TestOuter_false_prtest/6041/console

cc @jkotas, @safern, @stephentoub

@safern

safern commented Dec 9, 2017

Copy link
Copy Markdown
Member

Mirroring the PRs manually breaks the mirror and causes it to stop mirroring due to merge conflicts. I can take a look at why the PR was not mirrored and reset the mirror to pick it up.

@jkotas jkotas closed this Dec 9, 2017
@safern

safern commented Dec 9, 2017

Copy link
Copy Markdown
Member

There where 2 commits that where missing, the mirror was down due to github API exception. Just restarted it and it picked up those 2 commits before this one. Once #5083 is merged this should be picked up, if not I'll take a look.

@jkotas

jkotas commented Dec 9, 2017

Copy link
Copy Markdown
Member

#5083 is merged, but this is not getting picked up. @safern Could you please take a look?

@ahsonkhan
ahsonkhan deleted the manual-mirror-merge-15410 branch December 11, 2017 18:46
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants