Squash py3_requirements.txt into requirements.txt.
DELETE
py3_requirements.txt
-mypy==0.770

MODIFY
requirements.txt
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

MODIFY
tools/provision
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

Squash py3_requirements.txt into requirements.txt.