From 097637d7c08ce670c06d718ead66d7bf1cec09fb Mon Sep 17 00:00:00 2001 From: mrT23 Date: Sun, 5 May 2024 13:48:45 +0300 Subject: [PATCH] toolbar emojis in pr-agent feedbacks --- pr_agent/tools/pr_help_message.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pr_agent/tools/pr_help_message.py b/pr_agent/tools/pr_help_message.py index df2698cf..9f76434d 100644 --- a/pr_agent/tools/pr_help_message.py +++ b/pr_agent/tools/pr_help_message.py @@ -18,8 +18,8 @@ class PRHelpMessage: relevant_configs = {'pr_help': dict(get_settings().pr_help), 'config': dict(get_settings().config)} get_logger().debug("Relevant configs", artifacts=relevant_configs) - pr_comment = "## PR Agent Walkthrough\n\n" - pr_comment += "🤖 Welcome to the PR Agent, an AI-powered tool for automated pull request analysis, feedback, suggestions and more.""" + pr_comment = "## PR Agent Walkthrough 🤖\n\n" + pr_comment += "Welcome to the PR Agent, an AI-powered tool for automated pull request analysis, feedback, suggestions and more.""" pr_comment += "\n\nHere is a list of tools you can use to interact with the PR Agent:\n" base_path = "https://pr-agent-docs.codium.ai/tools"