diff options
| -rwxr-xr-x | deploy_everywhere | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/deploy_everywhere b/deploy_everywhere index f682f8e6..4ca6bdc1 100755 --- a/deploy_everywhere +++ b/deploy_everywhere @@ -10,12 +10,6 @@ # disclaimers: # this script grew over the years… # the code is horrible and was always ment to be a quick local hack and never to be published -# this script expects ~/jenkins.debian.net to be a git clone of that repo -# FIXME: set HOME for jenkins-adm to /var/lib/jenkins-adm -# FIXME: git clone jdn.git into /var/lib/jenkins-adm -# FIXME: profit -# no issue then: -# probably not all hosts have currently enough diskspace to hold several users clones # use at your own risk. it might eat your cats. you have been warned. # the HOSTS lists below is yet another code duplication… |