3 Commits (ccf7db7cc227b4d5a8996d485493b0b8f0c06cc2)

Author	SHA1	Message	Date
Richard van der Hoff	c6c4aff8ae	Redeploy script: put each build in a separate directory (#2790) ... * Redeploy script: put each build in a separate directory Hopefully this will fix the problem whereby we can overwrite the live deployment.	2016-12-22 12:02:54 +00:00
Matthew Hodgson	2b51cda6da	talk to jenkins via https for the /dev redeployer	2016-12-07 14:07:31 +00:00
David Baker	1401de2e7d	Move the jenkins / redeploy scripts to scripts ... While we're breaking things anyway	2016-11-08 17:09:44 +00:00