8 Commits

Author	SHA1	Message	Date
Matthias Kretschmann	9e4a946d74	properly set cache headers ... * turns out S3 does not allow modifying cache-control headers once they are set, resulting in our 2nd part of s3sync being ignored * fix by explicetly excluding, and then including the respective files	2019-10-07 15:57:53 +02:00
Troy McConaghy	cef2568598	Don't worry about Python version for Travis deploy	2019-03-11 14:50:08 +01:00
Troy McConaghy	3d363610cb	Get Travis to use python3 and pip3	2019-03-11 13:39:53 +01:00
Matthias Kretschmann	e3644ea447	tweak deployment ... * cache everything by default * modify cache headers for selected files afterwards	2018-12-10 13:20:20 +01:00
Matthias Kretschmann	d3e75d7f54	activate search engine ping on live deployments	2018-11-29 10:37:58 +01:00
Matthias Kretschmann	b7a5aaf791	different caching tactic	2018-11-26 11:46:03 +01:00
Matthias Kretschmann	2cd08a960e	new beta url	2018-11-16 17:39:13 +01:00
Matthias Kretschmann	f0151e336c	setup deployment	2018-11-16 11:12:28 +01:00