Merge pull request #109 from infosiftr/DOCKERHUB_PUBLIC_PROXY_HOST

Remove `DOCKERHUB_PUBLIC_PROXY_HOST` from Jenkinsfiles

Author: yosifkit

Jenkinsfile.deploy

@@ -76,7 +76,6 @@ node('put-shared') { ansiColor('xterm') {
 
 		withCredentials([
 			string(credentialsId: 'dockerhub-public-proxy', variable: 'DOCKERHUB_PUBLIC_PROXY'),
-			string(credentialsId: 'dockerhub-public-proxy-host', variable: 'DOCKERHUB_PUBLIC_PROXY_HOST'),
 		]) {
 			stage('Deploy') {
 				sh '''#!/usr/bin/env bash

Jenkinsfile.meta

@@ -51,7 +51,6 @@ node {
 		withCredentials([
 			// thanks to rate limits, we either have to "docker login" or look things up via our proxy
 			string(credentialsId: 'dockerhub-public-proxy', variable: 'DOCKERHUB_PUBLIC_PROXY'),
-			string(credentialsId: 'dockerhub-public-proxy-host', variable: 'DOCKERHUB_PUBLIC_PROXY_HOST'),
 		]) {
 			stage('Fetch') {
 				sh 'bashbrew --library .doi/library fetch --all'