Plugin for devpi-server and devpi-client providing a push request workflow - View it on GitHub