Skip to content

[stdlib] Remove StringRef.strip()#3868

Closed
martinvuyk wants to merge 12 commits intomodular:nightlyfrom
martinvuyk:remove-stringref-strip
Closed

[stdlib] Remove StringRef.strip()#3868
martinvuyk wants to merge 12 commits intomodular:nightlyfrom
martinvuyk:remove-stringref-strip

Conversation

@martinvuyk
Copy link
Copy Markdown
Contributor

Remove StringRef.strip().

We already have this in StringSlice.

Signed-off-by: martinvuyk <martin.vuyklop@gmail.com>
@martinvuyk martinvuyk requested a review from a team December 11, 2024 18:57
Signed-off-by: martinvuyk <martin.vuyklop@gmail.com>
Signed-off-by: martinvuyk <martin.vuyklop@gmail.com>
Signed-off-by: martinvuyk <martin.vuyklop@gmail.com>
Comment thread stdlib/test/collections/test_string.mojo
Comment thread stdlib/test/collections/test_string.mojo
@JoeLoser JoeLoser self-assigned this Dec 13, 2024
@ConnorGray
Copy link
Copy Markdown
Member

!sync

@modularbot modularbot added the imported-internally Signals that a given pull request has been imported internally. label Dec 21, 2024
martinvuyk and others added 4 commits December 26, 2024 09:50
Signed-off-by: martinvuyk <martin.vuyklop@gmail.com>
Signed-off-by: martinvuyk <martin.vuyklop@gmail.com>
@ConnorGray
Copy link
Copy Markdown
Member

!sync

@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 nightly 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 Jan 7, 2025
modularbot added a commit that referenced this pull request Jan 8, 2025
Remove `StringRef.strip()`.

We already have this in `StringSlice`.

ORIGINAL_AUTHOR=martinvuyk
<110240700+martinvuyk@users.noreply.github.com>
PUBLIC_PR_LINK=#3868

Co-authored-by: martinvuyk <110240700+martinvuyk@users.noreply.github.com>
Closes #3868
MODULAR_ORIG_COMMIT_REV_ID: 9a85ef521475c07ee7f9f537e42a9d2f5d3f8a78
@modularbot modularbot added the merged-externally Merged externally in public mojo repo label Jan 8, 2025
@modularbot
Copy link
Copy Markdown
Collaborator

Landed in 27f1361! Thank you for your contribution 🎉

@modularbot modularbot closed this Jan 8, 2025
@martinvuyk martinvuyk deleted the remove-stringref-strip branch January 8, 2025 19:32
modularbot added a commit that referenced this pull request Feb 13, 2025
Remove `StringRef.strip()`.

We already have this in `StringSlice`.

ORIGINAL_AUTHOR=martinvuyk
<110240700+martinvuyk@users.noreply.github.com>
PUBLIC_PR_LINK=#3868

Co-authored-by: martinvuyk <110240700+martinvuyk@users.noreply.github.com>
Closes #3868
MODULAR_ORIG_COMMIT_REV_ID: 9a85ef521475c07ee7f9f537e42a9d2f5d3f8a78
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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.

4 participants