mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #18405 from lnicola/fix-changelog

Browse Source 
internal: Update changelog generation for merge queues
This commit is contained in:
Laurențiu Nicola 2024-10-24 17:54:25 +00:00 committed by GitHub
commit aaae1d4c55
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/tools/rust-analyzer/xtask/src/release/changelog.rs
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(' ') {