we can push on https://github.com/pantsbuild/pip/pull/7 if shifting repo style turns out to be problematic