Skip to content

Commit

Permalink
docs: fix GitHub and GitLab brand capitalization
Browse files Browse the repository at this point in the history
  • Loading branch information
Sourcegraph committed Dec 15, 2024
1 parent 510d8d7 commit 5165fa3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion provider/github/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ By default, this provider talks to GitHub.com. Add the URL to your GitHub Enterp
},
```

Then use the `@`-mention type **Github PRs & Issues** and search for issues or pull requests to include in context using the followining possible query examples:
Then use the `@`-mention type **GitHub PRs & Issues** and search for issues or pull requests to include in context using the followining possible query examples:

- <https://github.com/facebook/react/issues/1234>
- <https://github.com/facebook/react/pull/1234>
Expand Down

0 comments on commit 5165fa3

Please sign in to comment.