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.

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

Add a missing backtick on docs Shell Completion page #10204

Merged
merged 1 commit into from Jan 2, 2021
Merged

Add a missing backtick on docs Shell Completion page #10204

merged 1 commit into from Jan 2, 2021

Conversation

zmoon
Copy link
Contributor

@zmoon zmoon commented Jan 2, 2021 •
edited

Add the missing backtick noted in #10202

@request-info

This comment has been minimized.

Sign in to view
@request-info request-info bot added the needs response Needs a response from the issue/PR author label Jan 2, 2021
@zmoon zmoon changed the title Add a missing backtick #10202 Add a missing backtick Jan 2, 2021
issyl0
issyl0 approved these changes Jan 2, 2021
View reviewed changes
Copy link
Member

@issyl0 issyl0 left a comment

Choose a reason for hiding this comment

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

Thanks for your first contribution to Homebrew, @zmoon! 🎉

@zmoon zmoon changed the title Add a missing backtick Add a missing backtick on docs Shell Completion page Jan 2, 2021
@issyl0 issyl0 removed the needs response Needs a response from the issue/PR author label Jan 2, 2021
@dawidd6 dawidd6 enabled auto-merge January 2, 2021 19:07
@issyl0 issyl0 merged commit 94ced0e into Homebrew:master Jan 2, 2021
@issyl0 issyl0 mentioned this pull request Jan 2, 2021
Closed
@BrewTestBot BrewTestBot added the outdated PR was locked due to age label Feb 2, 2021
@Homebrew Homebrew locked as resolved and limited conversation to collaborators Feb 2, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@issyl0 issyl0 issyl0 approved these changes

Assignees
No one assigned
Labels
outdated PR was locked due to age
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@zmoon @issyl0 @BrewTestBot