Skip to content

[automated] Merge branch 'production' => 'main'#2741

Merged
premun merged 1 commit intodotnet:mainfrom
dotnet-maestro-bot:merge/production-to-main
Jul 12, 2023
Merged

[automated] Merge branch 'production' => 'main'#2741
premun merged 1 commit intodotnet:mainfrom
dotnet-maestro-bot:merge/production-to-main

Conversation

@dotnet-maestro-bot
Copy link
Copy Markdown
Contributor

I detected changes in the production branch which have not been merged yet to main. I'm a robot and am configured to help you automatically keep main up to date, so I've opened this PR.

This PR merges commits made on production by the following committers:

Instructions for merging from UI

This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.

merge button instructions

If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.

Instructions for merging via command line

Run these commands to merge this pull request from the command line.

git fetch
git checkout production
git pull --ff-only
git checkout main
git pull --ff-only
git merge --no-ff production

# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge
# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/arcade-services HEAD:merge/production-to-main
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/arcade-services HEAD:merge/production-to-main

After PR checks are complete push the branch

git push

Instructions for resolving conflicts

⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.

Instructions for updating this pull request

Contributors to this repo have permission update this pull request by pushing to the branch 'merge/production-to-main'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.

git checkout -b merge/production-to-main main
git pull https://github.com/dotnet-maestro-bot/arcade-services merge/production-to-main
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/arcade-services HEAD:merge/production-to-main
or if you are using SSH
git checkout -b merge/production-to-main main
git pull git@github.com:dotnet-maestro-bot/arcade-services merge/production-to-main
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/arcade-services HEAD:merge/production-to-main

Contact .NET Core Engineering if you have questions or issues.
Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.

@premun premun merged commit 1afc2b6 into dotnet:main Jul 12, 2023
@MilenaHristova MilenaHristova mentioned this pull request Jul 17, 2023
20 tasks
@andriipatsula andriipatsula mentioned this pull request Jul 24, 2023
20 tasks
@tkapin tkapin mentioned this pull request Jul 31, 2023
20 tasks
@MilenaHristova MilenaHristova mentioned this pull request Aug 7, 2023
20 tasks
@premun premun mentioned this pull request Aug 15, 2023
20 tasks
@MilenaHristova MilenaHristova mentioned this pull request Aug 21, 2023
20 tasks
@premun premun mentioned this pull request Aug 28, 2023
20 tasks
@dkurepa dkurepa mentioned this pull request Sep 5, 2023
20 tasks
@oleksandr-didyk oleksandr-didyk mentioned this pull request Sep 11, 2023
20 tasks
@andriipatsula andriipatsula mentioned this pull request Sep 19, 2023
20 tasks
@premun premun mentioned this pull request Sep 25, 2023
20 tasks
@MilenaHristova MilenaHristova mentioned this pull request Oct 2, 2023
20 tasks
@dkurepa dkurepa mentioned this pull request Oct 10, 2023
20 tasks
@andriipatsula andriipatsula mentioned this pull request Oct 16, 2023
20 tasks
@oleksandr-didyk oleksandr-didyk mentioned this pull request Oct 23, 2023
20 tasks
@MilenaHristova MilenaHristova mentioned this pull request Oct 30, 2023
20 tasks
@dkurepa dkurepa mentioned this pull request Nov 6, 2023
20 tasks
@premun premun mentioned this pull request Nov 13, 2023
20 tasks
@andriipatsula andriipatsula mentioned this pull request Nov 20, 2023
20 tasks
@oleksandr-didyk oleksandr-didyk mentioned this pull request Nov 27, 2023
20 tasks
@dkurepa dkurepa mentioned this pull request Dec 4, 2023
20 tasks
@MilenaHristova MilenaHristova mentioned this pull request Dec 12, 2023
20 tasks
@premun premun mentioned this pull request Dec 18, 2023
20 tasks
@MilenaHristova MilenaHristova mentioned this pull request Jan 2, 2024
20 tasks
@andriipatsula andriipatsula mentioned this pull request Jan 8, 2024
20 tasks
@premun premun mentioned this pull request Dec 19, 2025
11 tasks
This was referenced Jan 16, 2026
This was referenced Jan 20, 2026
@premun premun mentioned this pull request Feb 9, 2026
11 tasks
@adamzip adamzip mentioned this pull request Feb 12, 2026
11 tasks
@dkurepa dkurepa mentioned this pull request Feb 18, 2026
11 tasks
This was referenced Feb 18, 2026
This was referenced Feb 23, 2026
@adamzip adamzip mentioned this pull request Mar 4, 2026
11 tasks
@dkurepa dkurepa mentioned this pull request Mar 9, 2026
11 tasks
@adamzip adamzip mentioned this pull request Mar 11, 2026
11 tasks
@premun premun mentioned this pull request Mar 17, 2026
11 tasks
@dkurepa dkurepa mentioned this pull request Mar 25, 2026
11 tasks
@adamzip adamzip mentioned this pull request Mar 26, 2026
11 tasks
This was referenced Mar 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants