Squash py3_requirements.txt into requirements.txt.

2020-04-03 07:31:52 -04:00 · 2020-04-03 07:31:52 -04:00 · c1fb086677
parent 802f85224a
commit c1fb086677
3 changed files with 1 additions and 3 deletions
--- a/py3_requirements.txt
+++ b/py3_requirements.txt
@ -1 +0,0 @@
-mypy==0.770
--- 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
--- 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