Skip to content

Commit

Permalink
Update docs/docs/run_minder_server/config_provider.md
Browse files Browse the repository at this point in the history
Co-authored-by: Evan Anderson <[email protected]>
  • Loading branch information
mesembria and evankanderson authored Jul 15, 2024
1 parent 9c1510d commit 0a9cb42
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/docs/run_minder_server/config_provider.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ For GitHub, you configure a Provider by creating a GitHub App.
- [GitHub](https://github.com) account

## Create a GitHub App
This approach allows users fine-grained control over the permissions that Minder has in their repositories. It also
This approach allows fine-grained control over the permissions that Minder has in users' repositories. It also
allows users to limit the repositories that Minder can access.

1. Navigate to [GitHub Developer Settings](https://github.com/settings/profile)
Expand Down

0 comments on commit 0a9cb42

Please sign in to comment.