Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Automation: main-next integrate #17615

Merged
merged 2 commits into from Oct 4, 2023
Merged

Automation: main-next integrate #17615

merged 2 commits into from Oct 4, 2023

Conversation

msfluid-bot
Copy link
Collaborator

main-next integrate PR

The aim of this pull request is to sync main and next branch. This branch has MERGE CONFLICTS with next due to this commit. If this PR is assigned to you, you need to do the following:

  1. Acknowledge the pull request by adding a comment -- "Actively working on it".
  2. Merge main-next-9991f92 into the target branch, next. The direction of the merge matters! You need to checkout next and merge main-next-9991f92 into it, then fast-forward main-next-9991f92 to the merge commit. To do that use the following git commands:
  • git fetch --all -- this ensures your remote refs are updated
  • git remote -v -- displays the list of remote repositories associated with your Git repository along with their corresponding URLs. You have to choose the remote associated with the microsoft/FluidFramework repository. Change the remote name in these example commands if yours is not upstream.
  • git checkout -b next-merge-head upstream/next -- make a temporary branch at next.
  • git merge upstream/main-next-9991f92 -- merge next into main-next-9991f92
  1. Resolve any merge conflicts between the branches, then commit all the changes using the following commands:
  • git add . -- stage all the local changes
  • git commit -m "Automation: main-next integrate" -- commit the merge
  1. Fast-forward the main-next-9991f92 branch to the merge commit and push to the remote.
  • git checkout main-next-9991f92 -- check out the mergeBranch locally
  • git merge next-merge-head --ff-only -- fast-forward to the merge commit
  • git push upstream -- and push it to upstream (your upstream remote name may be different)
  1. Address any CI failures. If you need to make additional changes to the PR, always amend the commit using the following git commands:
  • git commit --amend -m "Automation: main-next integrate"
  • git push --force-with-lease

Fix syntax error when using explicit variance annotations. (TS5 support
begins at prettier@^2.8.5.)

---------

Co-authored-by: Tyler Butler <tyler@tylerbutler.com>
@tylerbutler
Copy link
Member

I think my merge resolutions are correct. Let's see what CI says.

@sonalideshpandemsft sonalideshpandemsft merged commit 683bcc1 into next Oct 4, 2023
36 checks passed
@sonalideshpandemsft sonalideshpandemsft deleted the main-next-9991f92 branch October 4, 2023 16:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants