From 78bcb72205e88216282071c0438996a0d9cc82f3 Mon Sep 17 00:00:00 2001 From: Tal Date: Thu, 4 Jul 2024 18:42:23 +0300 Subject: [PATCH] Update configuration_options.md --- docs/docs/usage-guide/configuration_options.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/usage-guide/configuration_options.md b/docs/docs/usage-guide/configuration_options.md index 92bf42ee..d70fdda2 100644 --- a/docs/docs/usage-guide/configuration_options.md +++ b/docs/docs/usage-guide/configuration_options.md @@ -18,7 +18,7 @@ In terms of precedence, wiki configurations will override local configurations, ## Wiki configuration file 💎 -Specifically for GitHub, with PR-Agent-Pro you can set configurations by creating a page called `.pr_agent.toml` in the [wiki](https://github.com/Codium-ai/pr-agent/wiki/pr_agent.toml) of the repo. +For GitHub and GitLab, with PR-Agent-Pro you can set configurations by creating a page called `.pr_agent.toml` in the [wiki](https://github.com/Codium-ai/pr-agent/wiki/pr_agent.toml) of the repo. The advantage of this method is that it allows to set configurations without needing to commit new content to the repo - just edit the wiki page and **save**. ![wiki_configuration](https://codium.ai/images/pr_agent/wiki_configuration.png){width=512}