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.

Sign up for GitHub

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

Jump to bottom

starship 1.7.1 #102194

Closed
wants to merge 1 commit into from
Closed

starship 1.7.1 #102194

wants to merge 1 commit into from

Conversation

matchai
Copy link
Contributor

@matchai matchai commented May 24, 2022

@BrewTestBot BrewTestBot added the rust Rust use is a significant feature of the PR or issue label May 24, 2022
This was referenced May 24, 2022
Closed
Closed
@bayandin
Copy link
Member

It requires #98823

@cho-m cho-m mentioned this pull request May 29, 2022
Closed
@github-actions
Copy link
Contributor

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.

@github-actions github-actions bot added the stale No recent activity label Jun 16, 2022
@matchai
Copy link
Contributor Author

matchai commented Jun 16, 2022

Superceded by #103817

@matchai matchai closed this Jun 16, 2022
@github-actions github-actions bot added the outdated PR was locked due to age label Jul 17, 2022
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jul 17, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
outdated PR was locked due to age rust Rust use is a significant feature of the PR or issue stale No recent activity
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@matchai @bayandin @BrewTestBot