Unnamed repository; edit this file 'description' to name the repository.
Merge pull request #18405 from lnicola/fix-changelog
internal: Update changelog generation for merge queues
Laurențiu Nicola 2024-10-25
parent 58e9871 · parent 333952f · commit 6a67a4d
-rw-r--r--xtask/src/release/changelog.rs5
1 files changed, 3 insertions, 2 deletions
diff --git a/xtask/src/release/changelog.rs b/xtask/src/release/changelog.rs
index 086a4d463e..343a9efbbc 100644
--- a/xtask/src/release/changelog.rs
+++ b/xtask/src/release/changelog.rs
@@ -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(' ') {