Chris Jerdonek 821247dc36 Merge pull request #6273 from cjerdonek/issue-5499-detect-ci-for-user-agent ... Fix #5499: Include in pip's User-Agent whether it looks like pip is in CI		2019-02-24 14:24:55 -08:00
..
pip	Merge pull request #6273 from cjerdonek/issue-5499-detect-ci-for-user-agent	2019-02-24 14:24:55 -08:00