Update changelog generation for merge queues

This commit is contained in:
Laurențiu Nicola 2024-10-24 20:29:07 +03:00
parent 0a8ebdf6a7
commit 9832131fd5

View File

@ -128,9 +128,10 @@ fn unescape(s: &str) -> String {
}
fn parse_pr_number(s: &str) -> Option<u32> {
const BORS_PREFIX: &str = "Merge #";
const GITHUB_PREFIX: &str = "Merge pull request #";
const HOMU_PREFIX: &str = "Auto merge of #";
if let Some(s) = s.strip_prefix(BORS_PREFIX) {
if let Some(s) = s.strip_prefix(GITHUB_PREFIX) {
let s = if let Some(space) = s.find(' ') { &s[..space] } else { s };
s.parse().ok()
} else if let Some(s) = s.strip_prefix(HOMU_PREFIX) {
if let Some(space) = s.find(' ') {