From edaeb99b43f01b496523145b58a86f5167da0bb5 Mon Sep 17 00:00:00 2001 From: Itamar Friedman <108689937+coditamar@users.noreply.github.com> Date: Mon, 28 Aug 2023 22:29:08 +0300 Subject: [PATCH] Update README.md type Co-authored-by: Tim Perkins --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7bb4b47d..65f1c8d6 100644 --- a/README.md +++ b/README.md @@ -108,7 +108,7 @@ Examples for invoking the different tools via the CLI: "" is the url of the relevant PR (for example: https://github.com/Codium-ai/pr-agent/pull/50). In the [configuration](./CONFIGURATION.md) file you can select your git provider (GitHub, Gitlab, Bitbucket), and further configure the different tools. -Options that are available in the configuration file can be specificied at run time when calling actions. Two examples: +Options that are available in the configuration file can be specified at run time when calling actions. Two examples: - /review --pr_reviewer.extra_instructions="focus on the file: ..." - /describe --pr_description.add_original_user_description=false -pr_description.extra_instructions="make sure to mention: ..."