From 0a9cb428d74fab865dd7c1510f84dfe51a7eea7f Mon Sep 17 00:00:00 2001 From: Philippe Moore Date: Mon, 15 Jul 2024 14:01:11 -0400 Subject: [PATCH] Update docs/docs/run_minder_server/config_provider.md Co-authored-by: Evan Anderson --- docs/docs/run_minder_server/config_provider.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/run_minder_server/config_provider.md b/docs/docs/run_minder_server/config_provider.md index 2e2bce6d7f..977d584c86 100644 --- a/docs/docs/run_minder_server/config_provider.md +++ b/docs/docs/run_minder_server/config_provider.md @@ -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)