summaryrefslogtreecommitdiffstats
path: root/deploy_everywhere
AgeCommit message (Expand)AuthorFilesLines
2016-08-14deploy_everywhere: switch back to git:// for cloning/pulling, as https doesn'...Mattia Rizzolo1-4/+6
2016-08-03change order, so that 'nojenkins pb4' worksHolger Levsen1-3/+3
2016-08-03document how to run this manuallyHolger Levsen1-0/+1
2016-08-03deploy_everywhere: cd to the just cloned repository once doneMattia Rizzolo1-0/+1
2016-08-03Revert "dont run as root on jenkins"Holger Levsen1-3/+3
2016-08-03remove obsolete codeHolger Levsen1-10/+0
2016-08-03remove obsolete commentsHolger Levsen1-6/+0
2016-08-03dont run as root on jenkinsHolger Levsen1-3/+3
2016-08-03install git if its not installedHolger Levsen1-0/+1
2016-08-03rm the clone in my repoHolger Levsen1-0/+3
2016-08-03deploy_everywhere: deploy from ~jenkins-adm/jenkins.debian.net, instead of us...Mattia Rizzolo1-1/+12
2016-08-03deploy_everywhere: add support for running on a single host without running i...Mattia Rizzolo1-0/+3
2016-08-02hackish support for deploying on jenkins, pb3+4 easilyHolger Levsen1-0/+1
2016-07-14draft plan to make ~holger/j.d.n obsolete everywhereHolger Levsen1-1/+5
2016-07-13add horrible^wterrific deployment script, use wiselyHolger Levsen1-0/+145
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-11-02 16:47:03 +0000