Skip to content

Port ""Add "Exact mechanism" section to derivation.md"" to main #16219

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

Merged
merged 1 commit into from
Oct 20, 2022

Conversation

Sporarum
Copy link
Contributor

@Sporarum Sporarum commented Oct 20, 2022

Branch fix-derivation-main was created as follows:

# Make sure main is up to date
git checkout fix-derivation
git checkout -b fix-derivation-main
git rebase --onto main language-reference-stable fix-derivation-main
# Make PR into main from fix-derivation-main

@Sporarum Sporarum changed the title port ""Add "Exact mechanism" section to derivation.md"" to main Port ""Add "Exact mechanism" section to derivation.md"" to main Oct 20, 2022
@Sporarum Sporarum requested a review from julienrf October 20, 2022 09:37
@bishabosha
Copy link
Member

bishabosha commented Oct 20, 2022

Did this method have any git conflict or just work?

@Sporarum
Copy link
Contributor Author

Did this method have any git conflict or just work?

This time it had no conflict

Last time there were some conflicts but I seem to remember they were justified

@Sporarum Sporarum merged commit 7919cb3 into scala:main Oct 20, 2022
@Sporarum Sporarum deleted the fix-derivation-main branch October 20, 2022 11:00
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