Skip to content

Commit 78bcb72

Browse files
authored
Update configuration_options.md
1 parent e35f83b commit 78bcb72

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/docs/usage-guide/configuration_options.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ In terms of precedence, wiki configurations will override local configurations,
1818

1919
## Wiki configuration file 💎
2020

21-
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.
21+
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.
2222
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**.
2323

2424
![wiki_configuration](https://codium.ai/images/pr_agent/wiki_configuration.png){width=512}

0 commit comments

Comments
 (0)