From 0de093d7049228de1745c4df6e479251456bad40 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Joakim=20Hells=C3=A9n?= Date: Sat, 18 Mar 2023 04:21:03 +0100 Subject: [PATCH] Remove unnecessary "type: ignore" comments --- discord_rss_bot/custom_message.py | 2 +- discord_rss_bot/main.py | 2 +- discord_rss_bot/settings.py | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/discord_rss_bot/custom_message.py b/discord_rss_bot/custom_message.py index 010425d..9731046 100644 --- a/discord_rss_bot/custom_message.py +++ b/discord_rss_bot/custom_message.py @@ -249,7 +249,7 @@ def get_embed(custom_reader: Reader, feed: Feed) -> CustomEmbed: if embed := custom_reader.get_tag(feed, "embed", ""): if type(embed) != str: return get_embed_data(embed) - embed_data: dict[str, str | int] = json.loads(embed) # type: ignore + embed_data: dict[str, str | int] = json.loads(embed) return get_embed_data(embed_data) return CustomEmbed( diff --git a/discord_rss_bot/main.py b/discord_rss_bot/main.py index aac510e..6b80edb 100644 --- a/discord_rss_bot/main.py +++ b/discord_rss_bot/main.py @@ -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: diff --git a/discord_rss_bot/settings.py b/discord_rss_bot/settings.py index fca259f..2112986 100644 --- a/discord_rss_bot/settings.py +++ b/discord_rss_bot/settings.py @@ -2,7 +2,7 @@ from functools import lru_cache from pathlib import Path from platformdirs import user_data_dir -from reader import Reader, make_reader # type: ignore +from reader import Reader, make_reader data_dir: str = user_data_dir(appname="discord_rss_bot", appauthor="TheLovinator", roaming=True) Path.mkdir(Path(data_dir), exist_ok=True)