3 Commits (7bcd9ff3d60cb73dc45408cf7726204ae6190626)

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