From 92911e38747ff7952f9ece97797ad8af3b83c11d Mon Sep 17 00:00:00 2001
From: Gal Ben David <wavenator@gmail.com>
Date: Tue, 3 Nov 2020 18:27:37 +0200
Subject: [PATCH] Add support for [b]zpopmin, [b]zpopmax (#4742)

---
 third_party/2and3/redis/client.pyi | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/third_party/2and3/redis/client.pyi b/third_party/2and3/redis/client.pyi
index 07b05019c..2e780242c 100644
--- a/third_party/2and3/redis/client.pyi
+++ b/third_party/2and3/redis/client.pyi
@@ -323,6 +323,10 @@ class Redis(object):
     def zincrby(self, name, value, amount=...): ...
     def zinterstore(self, dest, keys, aggregate=...): ...
     def zlexcount(self, name, min, max): ...
+    def zpopmax(self, name, count=...): ...
+    def zpopmin(self, name, count=...): ...
+    def bzpopmax(self, keys, timeout=...): ...
+    def bzpopmin(self, keys, timeout=...): ...
     def zrange(self, name, start, end, desc=..., withscores=..., score_cast_func=...): ...
     def zrangebylex(self, name, min, max, start=..., num=...): ...
     def zrangebyscore(self, name, min, max, start=..., num=..., withscores=..., score_cast_func=...): ...