Skip to content

Commit

Permalink
Update configuration_options.md
Browse files Browse the repository at this point in the history
  • Loading branch information
mrT23 authored Jul 4, 2024
1 parent e35f83b commit 78bcb72
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/docs/usage-guide/configuration_options.md
Original file line number Diff line number Diff line change
Expand Up @@ -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}
Expand Down

0 comments on commit 78bcb72

Please sign in to comment.