jenkins pinning distribute