From ddf011c9151b008a06bb94bb5687ea4a2cbac138 Mon Sep 17 00:00:00 2001
From: Rhea Parekh <rheaparekh12@gmail.com>
Date: Sun, 29 Jul 2018 00:32:49 +0530
Subject: [PATCH] requirements: Upgrade mypy to 0.620.

Fixes #9975.
---
 requirements/dev.txt  | 4 ++--
 requirements/mypy.in  | 2 +-
 requirements/mypy.txt | 4 ++--
 version.py            | 2 +-
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/requirements/dev.txt b/requirements/dev.txt
index 1ca3d034e7..4f322fe191 100644
--- a/requirements/dev.txt
+++ b/requirements/dev.txt
@@ -10,7 +10,6 @@
 --no-binary psycopg2
 
 git+https://github.com/zulip/django-bitfield@0d2b15cdb5af5ddec88d41cac19c0f2ce1b1ad38#egg=django-bitfield==1.9.3+dev.0d2b15cdb5af5ddec88d41cac19c0f2ce1b1ad38
-git+https://github.com/python/mypy.git@6a934d32124991a77ea433856cf2d62871ceb632#egg=mypy==0.610+dev.6a934d32124991a77ea433856cf2d62871ceb632
 git+https://github.com/zulip/talon.git@7d8bdc4dbcfcc5a73298747293b99fe53da55315#egg=talon==1.2.10.zulip1
 git+https://github.com/zulip/ultrajson@70ac02bec#egg=ujson==1.35+git
 git+https://github.com/zulip/python-zulip-api.git@0.5.2#egg=zulip==0.5.2_git&subdirectory=zulip
@@ -93,6 +92,7 @@ markdown==2.6.11
 markupsafe==1.0
 mock==2.0.0
 moto==1.3.3
+mypy==0.620
 mypy_extensions==0.3.0
 ndg-httpsclient==0.5.0
 oauth2client==4.1.2
@@ -171,7 +171,7 @@ traitlets==4.3.2          # via ipython
 transifex-client==0.12.5
 twilio==6.14.0
 twisted==18.4.0
-typed-ast==1.1.0
+typed-ast==1.1.0          # via mypy
 typing==3.6.4
 uritemplate==3.0.0
 urllib3==1.22             # via requests, transifex-client
diff --git a/requirements/mypy.in b/requirements/mypy.in
index b3d65a5aa3..b37e95fed6 100644
--- a/requirements/mypy.in
+++ b/requirements/mypy.in
@@ -2,6 +2,6 @@
 # /tools/update-locked-requirements to update requirements/dev.txt
 # and requirements/mypy.txt.
 # See requirements/README.md for more detail.
--e git+https://github.com/python/mypy.git@6a934d32124991a77ea433856cf2d62871ceb632#egg=mypy==0.610+dev.6a934d32124991a77ea433856cf2d62871ceb632
+mypy==0.620
 # Include typing explicitly, since it's needed on Python 3.4
 typing==3.6.4
diff --git a/requirements/mypy.txt b/requirements/mypy.txt
index 69757f908b..6a4fc1cac0 100644
--- a/requirements/mypy.txt
+++ b/requirements/mypy.txt
@@ -7,6 +7,6 @@
 #
 # For details, see requirements/README.md .
 #
-git+https://github.com/python/mypy.git@6a934d32124991a77ea433856cf2d62871ceb632#egg=mypy==0.610+dev.6a934d32124991a77ea433856cf2d62871ceb632
-typed-ast==1.1.0
+mypy==0.620
+typed-ast==1.1.0          # via mypy
 typing==3.6.4
diff --git a/version.py b/version.py
index 7437347912..63e74efc3a 100644
--- a/version.py
+++ b/version.py
@@ -8,4 +8,4 @@ ZULIP_VERSION = "1.8.1+git"
 # Typically, adding a dependency only requires a minor version bump, and
 # removing a dependency requires a major version bump.
 
-PROVISION_VERSION = '25.2'
+PROVISION_VERSION = '25.3'