Links for devpi-jenkins