Skip to content

Fix missing decorator in docs#5151

Closed
Alex-Mann wants to merge 1 commit intomodular:mainfrom
Alex-Mann:patch-1
Closed

Fix missing decorator in docs#5151
Alex-Mann wants to merge 1 commit intomodular:mainfrom
Alex-Mann:patch-1

Conversation

@Alex-Mann
Copy link
Copy Markdown
Contributor

Fixing minor typo in the docs

Signed-off-by: Alexander Mann <4520864+Alex-Mann@users.noreply.github.com>
@Alex-Mann Alex-Mann requested a review from a team as a code owner August 6, 2025 16:31
@github-actions
Copy link
Copy Markdown

github-actions bot commented Aug 6, 2025


Thank you for your submission, we really appreciate it. Like many open-source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution. You can sign the CLA by just posting a Pull Request Comment same as the below format.


I have read the CLA Document and I hereby sign the CLA


You can retrigger this bot by commenting recheck in this Pull Request. Posted by the CLA Assistant Lite bot.

@Alex-Mann
Copy link
Copy Markdown
Contributor Author

I have read the CLA Document and I hereby sign the CLA

I have read the CLA Document and I hereby sign the CLA

Copy link
Copy Markdown
Collaborator

@scottamain scottamain left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@scottamain
Copy link
Copy Markdown
Collaborator

!sync

@modularbot modularbot added the imported-internally Signals that a given pull request has been imported internally. label Aug 7, 2025
@modularbot
Copy link
Copy Markdown
Collaborator

✅🟣 This contribution has been merged 🟣✅

Your pull request has been merged to the internal upstream Mojo sources. It will be reflected here in the Mojo repository on the main branch during the next Mojo nightly release, typically within the next 24-48 hours.

We use Copybara to merge external contributions, click here to learn more.

@modularbot modularbot added the merged-internally Indicates that this pull request has been merged internally label Aug 8, 2025
@modularbot
Copy link
Copy Markdown
Collaborator

Landed in 4cdbdfa! Thank you for your contribution 🎉

@modularbot modularbot added the merged-externally Merged externally in public mojo repo label Aug 8, 2025
@modularbot modularbot closed this in 4cdbdfa Aug 8, 2025
@github-actions github-actions bot locked and limited conversation to collaborators Aug 8, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

imported-internally Signals that a given pull request has been imported internally. merged-externally Merged externally in public mojo repo merged-internally Indicates that this pull request has been merged internally

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants