Codium-ai/pr-agent: - How to add custom labels
By Tal Ridnik
1
Go to your repo's GitHub page, and click "Pull requests"
2
Click on the 'labels' tab
3
Add a new label
4
enter a new label, and a give it also a prompt-like description, that starts with "pr_agent"
5
save the label
enjoy. this label will now be added automatically to the relevant PRs