From ea7991443ce1d84606faff2808a5e9c6b28f8784 Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Mon, 12 Sep 2016 21:43:45 -0700 Subject: [PATCH] check-mirroring: Fix unnecessary type: ignore. --- bots/check-mirroring | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bots/check-mirroring b/bots/check-mirroring index a0ff373..7562ca0 100755 --- a/bots/check-mirroring +++ b/bots/check-mirroring @@ -115,7 +115,7 @@ def send_zulip(message): result = zulip_client.send_message(message) if result["result"] != "success": logger.error("Error sending zulip, args were:") - logger.error(message) # type: ignore # https://github.com/python/typeshed/issues/532 + logger.error(str(message)) logger.error(result) print_status_and_exit(1)