From c1fb08667708954317877f2f2328a6572c8dfd12 Mon Sep 17 00:00:00 2001 From: rht Date: Fri, 3 Apr 2020 07:31:52 -0400 Subject: [PATCH] Squash py3_requirements.txt into requirements.txt. --- py3_requirements.txt | 1 - requirements.txt | 1 + tools/provision | 2 -- 3 files changed, 1 insertion(+), 3 deletions(-) delete mode 100644 py3_requirements.txt diff --git a/py3_requirements.txt b/py3_requirements.txt deleted file mode 100644 index 9071d03..0000000 --- a/py3_requirements.txt +++ /dev/null @@ -1 +0,0 @@ -mypy==0.770 diff --git a/requirements.txt b/requirements.txt index ebd5adb..3ffabbf 100644 --- 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 index 3e821f9..e6894ea 100755 --- 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