Files
pr-agent/pr_agent/git_providers
zmeir 560d30dbb1 Fix get_user_description
The headers changed from "PR Type"/"PR Description"/etc to "Type"/"Description"/etc
2024-01-03 12:20:51 +02:00
..
2023-11-15 15:47:44 +01:00
2024-01-03 12:20:51 +02:00
2023-12-24 10:27:48 +02:00