Squash py3_requirements.txt into requirements.txt.

iishiishii · Apr 3, 2020 · c1fb086 · c1fb086
1 parent 802f852
commit c1fb086
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 3 deletions.
diff --git a/py3_requirements.txt b/py3_requirements.txt
diff --git a/requirements.txt b/requirements.txt
@@ -8,3 +8,4 @@ pytest
 -e ./zulip_bots
 -e ./zulip_botserver
 -e git+https://github.com/zulip/zulint@aaed679f1ad38b230090eadd3870b7682500f60c#egg=zulint==1.0.0
+mypy==0.770
diff --git a/tools/provision b/tools/provision
@@ -98,8 +98,6 @@ the Python version this command is executed with."""
                           .format(os.path.join(base_dir, requirements_filename)))
 
     install_dependencies('requirements.txt')
-    if py_version > (3, 1):
-        install_dependencies('py3_requirements.txt')
 
     # Install all requirements for all bots. get_bot_paths()
     # has requirements that must be satisfied prior to calling