Codium-ai/pr-agent: - How to add custom labels15 May 2024 By Tal Ridnik1Go to your repo's GitHub page, and click "Pull requests"2Click on the 'labels' tab3Add a new label4enter a new label, and a give it also a prompt-like description, that starts with "pr_agent"5save the labelenjoy. this label will now be added automatically to the relevant PRs