pulumi/sdk/python/Pipfile

[[source]]
url = "https://pypi.org/simple"
verify_ssl = true
name = "pypi"

[packages]
protobuf = ">=3.6.0"
grpcio = ">=1.9.1"

[dev-packages]
pylint = ">=2.1"
Use Pipenv to manage Python environments (#1553) * Use Pipenv to manage Python environments * Rename PIPENV_ARGS to PIPENV_PYTHON_VERSION to avoid confusion. Also remove two unused variables 2018-06-22 03:01:23 +02:00			`[[source]]`
			`url = "https://pypi.org/simple"`
			`verify_ssl = true`
			`name = "pypi"`

			`[packages]`
			`protobuf = ">=3.6.0"`
			`grpcio = ">=1.9.1"`

			`[dev-packages]`
Several gardening tasks for Python (#2145) * Several gardening tasks for Python 1. Update pipenv to 2018.7.1, which is the most recent release that isn't broken on Python 2 2. Update our pylint dependency to 1.9, the most recently released version 3. Re-enable pylint for the Pulumi package * Back out of pipenv upgrade It's apparently broken in our CI. Also upgrade pylint to 2.1, which is apparently the "actual" most recently release according to PyPI. * Fix a bad merge 2018-11-01 20:58:45 +01:00			`pylint = ">=2.1"`