Skip to content

Conversation

@hoyosjs
Copy link
Member

@hoyosjs hoyosjs commented Aug 15, 2023

No description provided.

@hoyosjs hoyosjs requested a review from jkoritzinsky August 15, 2023 21:03
@ghost ghost added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Aug 15, 2023
@ghost ghost assigned hoyosjs Aug 15, 2023
@hoyosjs
Copy link
Member Author

hoyosjs commented Aug 15, 2023

/backport to release/8.0-rc1

@github-actions
Copy link
Contributor

Started backporting to release/8.0-rc1: https://github.com/dotnet/runtime/actions/runs/5871725938

@hoyosjs
Copy link
Member Author

hoyosjs commented Aug 15, 2023

/backport to release/8.0-rc1

@github-actions
Copy link
Contributor

Started backporting to release/8.0-rc1: https://github.com/dotnet/runtime/actions/runs/5872024372

@carlossanlop
Copy link
Contributor

I thought the backporting bot would automatically port any additional commits added after the porting comment.

@carlossanlop carlossanlop added area-Infrastructure and removed needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners labels Aug 15, 2023
@ghost
Copy link

ghost commented Aug 15, 2023

Tagging subscribers to this area: @dotnet/runtime-infrastructure
See info in area-owners.md if you want to be subscribed.

Issue Details

null

Author: hoyosjs
Assignees: hoyosjs
Labels:

area-Infrastructure

Milestone: -

@hoyosjs
Copy link
Member Author

hoyosjs commented Aug 15, 2023

I did too - it didn't.

@hoyosjs
Copy link
Member Author

hoyosjs commented Aug 15, 2023

/backport to release/8.0-rc1

@github-actions
Copy link
Contributor

Started backporting to release/8.0-rc1: https://github.com/dotnet/runtime/actions/runs/5872695907

@hoyosjs hoyosjs merged commit 7f8da57 into dotnet:main Sep 13, 2023
@hoyosjs hoyosjs deleted the juhoyosa/set-internal-feeds branch September 18, 2023 03:19
@ghost ghost locked as resolved and limited conversation to collaborators Oct 18, 2023
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.

2 participants