Rollup merge of #122838 - workingjubilee:less-catholic-blessings-to-prevent-incremental-protests, r=matthiaskrgr

Avoid noop rewrite of issues.txt

Fixes #122834

r? ```@matthiaskrgr```
This commit is contained in:
Matthias Krüger 2024-03-22 01:07:32 +01:00 committed by GitHub
commit d9e90ef467
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -183,9 +183,10 @@ pub fn check(root_path: &Path, bless: bool, bad: &mut bool) {
}
});
// if an excluded file is renamed, it must be removed from this list
// if there are any file names remaining, they were moved on the fs.
// our data must remain up to date, so it must be removed from issues.txt
// do this automatically on bless, otherwise issue a tidy error
if bless {
if bless && !remaining_issue_names.is_empty() {
let issues_txt_header = r#"
/*
============================================================