From 84fdc4ca2bf1019c4e85cf9e16244a8661cb8fd4 Mon Sep 17 00:00:00 2001 From: Peter Dave Hello Date: Sun, 13 Apr 2025 00:50:38 +0800 Subject: [PATCH] Correct the tools guide link in the locally installation doc --- docs/docs/installation/locally.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/installation/locally.md b/docs/docs/installation/locally.md index 5032f608..e6a4d78a 100644 --- a/docs/docs/installation/locally.md +++ b/docs/docs/installation/locally.md @@ -6,7 +6,7 @@ To run PR-Agent locally, you first need to acquire two keys: ## Using Docker image -A list of the relevant tools can be found in the [tools guide](../tools/ask.md). +A list of the relevant tools can be found in the [tools guide](../tools/). To invoke a tool (for example `review`), you can run PR-Agent directly from the Docker image. Here's how: