TheLovinator/discord-rss-bot
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove unnecessary "type: ignore" comments

Browse source
This commit is contained in:
Joakim Hellsén 2023-03-18 04:21:03 +01:00
commit 0de093d704
No known key found for this signature in database
GPG key ID: 6AC65837BAEBDD15
3 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
discord_rss_bot/main.py
View file

@ -126,7 +126,7 @@ async def post_set_whitelist(
"""
clean_feed_url: str = feed_url.strip()
if whitelist_title:
reader.set_tag(clean_feed_url, "whitelist_title", [whitelist_title])
reader.set_tag(clean_feed_url, "whitelist_title", whitelist_title) # type: ignore
if whitelist_summary:
reader.set_tag(clean_feed_url, "whitelist_summary", whitelist_summary) # type: ignore
if whitelist_content: