Skip to content

docs: fix Common Issues typo#21696

Merged
ZhongRuoyu merged 1 commit intoHomebrew:mainfrom
Rohan5commit:rohan/fix-common-issues-duplicate-in
Mar 9, 2026
Merged

docs: fix Common Issues typo#21696
ZhongRuoyu merged 1 commit intoHomebrew:mainfrom
Rohan5commit:rohan/fix-common-issues-duplicate-in

Conversation

@Rohan5commit
Copy link
Copy Markdown

  • Have you followed the guidelines in our Contributing document?
  • Have you checked to ensure there aren't other open Pull Requests for the same change?
  • Have you added an explanation of what your changes do and why you'd like us to include them?
  • Have you written new tests for your changes? Here's an example.
  • Have you successfully run brew lgtm (style, typechecking and tests) with your changes locally?

  • AI was used to generate or assist with generating this PR. Please specify below how you used AI to help you, and what steps you have taken to manually verify the changes.

AI usage:

  • Used Codex to identify the duplicate word and prepare the one-line patch.
  • Manually reviewed the surrounding Common Issues section to confirm the diff only changes wording.

Summary:

  • Fixes a typo in docs/Common-Issues.md by changing in in to in.

Related issue:

  • N/A

Guideline alignment:

Validation:

  • git diff --check
  • No tests added; wording-only change.

@MikeMcQuaid MikeMcQuaid enabled auto-merge March 9, 2026 09:38
@MikeMcQuaid MikeMcQuaid added this pull request to the merge queue Mar 9, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 9, 2026
@carlocab carlocab added this pull request to the merge queue Mar 9, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 9, 2026
@ZhongRuoyu ZhongRuoyu added this pull request to the merge queue Mar 9, 2026
Merged via the queue into Homebrew:main with commit 7af0e94 Mar 9, 2026
36 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants