Merge pull request #260964 from dritter/fix-jetbrains-update-script

jetbrains: make update script robust against if no channels exist
This commit is contained in:
Weijia Wang 2023-10-14 01:48:12 +02:00 committed by GitHub
commit e0e9c52167
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -31,6 +31,7 @@ def download_channels():
return {
channel["@name"]: channel
for product in products
if "channel" in product
for channel in one_or_more(product["channel"])
}