3 Commits (b0319ec0f10f870a778dccb3fe71e18cb686ac43)

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