3 Commits (c9c58ab0ecb966aca6d3d710db149b83bb4fa5ba)

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