Skip to content

Fix operator to assign the route name micro_kernel_trait.rst #18577

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

Closed
wants to merge 0 commits into from

Conversation

IssamRaouf
Copy link
Contributor

The operator to assign the route name should be ':' instead of "="

@carsonbot carsonbot added this to the 6.4 milestone Jul 17, 2023
@IssamRaouf IssamRaouf changed the title Update micro_kernel_trait.rst Fix operator to assign the route name micro_kernel_trait.rst Jul 17, 2023
@javiereguiluz javiereguiluz modified the milestones: 6.4, 6.2 Jul 18, 2023
@javiereguiluz
Copy link
Member

@IssamRaouf very good catch! Thanks and congrats on your first Symfony Docs contribution 🎉

@javiereguiluz javiereguiluz changed the base branch from 6.4 to 6.2 July 18, 2023 15:43
@javiereguiluz javiereguiluz requested a review from xabbuh as a code owner July 18, 2023 15:43
javiereguiluz added a commit that referenced this pull request Jul 18, 2023
….rst (IssamRaouf)

This PR was submitted for the 6.4 branch but it was merged into the 6.2 branch instead.

Discussion
----------

Fix operator to assign the route name micro_kernel_trait.rst

The operator to assign the route name should be ':' instead of "="

<!--

If your pull request fixes a BUG, use the oldest maintained branch that contains
the bug (see https://symfony.com/releases for the list of maintained branches).

If your pull request documents a NEW FEATURE, use the same Symfony branch where
the feature was introduced (and `6.x` for features of unreleased versions).

-->

Commits
-------

818f0e1 Update micro_kernel_trait.rst
@javiereguiluz
Copy link
Member

@IssamRaouf please note that while merging your Pull Request, I changed the branch from 6.4 to 6.2.

I did that with the proprietary tool that we use to merge Pull Requests. It worked as expected and your contribution appears in the log of commits of 6.2 branch:

However, for some reason, GitHub decided to display this Pull Request as "closed" instead of "merged" ... but, it's "merged". Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants