3 Commits (69bedf0d37384f3039a145180c4ba7834bfa45c7)

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