travis: use Pipfile for dependency pinning

2019-05-27 18:15:45 +02:00
1 parent 5235cc0f6a
commit 819057eb6f
@@ -0,0 +1,12 @@
+[[source]]
+name = "pypi"
+url = "https://pypi.org/simple"
+verify_ssl = true
+
+[dev-packages]
+pylint = "*"
+mypy = "*"
+sphinx = "*"
+
+[packages]
+requests = "*"