Combine string constants passed to 'join' function

pull/5332/head
Anna Bridge 2017-10-24 15:08:41 +01:00 committed by GitHub
parent bb579dcfaf
commit c7e51daf41
1 changed files with 1 additions and 1 deletions

View File

@ -456,7 +456,7 @@ def check_update_status(examples, github, tag):
sys.exit(1)
# Create the full repository filter component
org_str = ''.join(['repo:', 'ARMmbed/', example['name']])
org_str = ''.join(['repo:ARMmbed/', example['name']])
filt = ' '.join([org_str, 'is:pr', tag])
merged = False