From e0f11ae4a5688a0521f20f36e440c87cfccfd69a Mon Sep 17 00:00:00 2001
From: David Robertson <davidr@element.io>
Date: Mon, 11 Oct 2021 17:42:10 +0100
Subject: disallow-untyped-defs for synapse.push (#11023)

---
 synapse/push/httppusher.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'synapse/push/httppusher.py')

diff --git a/synapse/push/httppusher.py b/synapse/push/httppusher.py
index eac65572b2..dbf4ad7f97 100644
--- a/synapse/push/httppusher.py
+++ b/synapse/push/httppusher.py
@@ -403,10 +403,10 @@ class HttpPusher(Pusher):
             rejected = resp["rejected"]
         return rejected
 
-    async def _send_badge(self, badge):
+    async def _send_badge(self, badge: int) -> None:
         """
         Args:
-            badge (int): number of unread messages
+            badge: number of unread messages
         """
         logger.debug("Sending updated badge count %d to %s", badge, self.name)
         d = {
-- 
cgit 1.5.1