Use elegant merge operator
This commit is contained in:
parent
020da15372
commit
0d2fe87111
1 changed files with 1 additions and 2 deletions
|
@ -136,8 +136,7 @@ other_project_names = {
|
||||||
"Personal": ["Personal/external", "Personal / external", "External"],
|
"Personal": ["Personal/external", "Personal / external", "External"],
|
||||||
}
|
}
|
||||||
|
|
||||||
replacement_project_names = harvest_project_names.copy()
|
replacement_project_names = harvest_project_names.copy | other_project_names
|
||||||
replacement_project_names.update(other_project_names)
|
|
||||||
|
|
||||||
for preferred, alternatives in replacement_project_names.items():
|
for preferred, alternatives in replacement_project_names.items():
|
||||||
# We compare all alternatives to lower case versions, and add the
|
# We compare all alternatives to lower case versions, and add the
|
||||||
|
|
Loading…
Reference in a new issue