infra - The PyDis DevOps boiler house, the engine room, where the magic happens.

	Commit message (Collapse)	Author	Age	Lines
*	Move all ansible files to their own folder	Chris Lovering	2023-08-13	-16/+0
\|
*	Serve static files from Turing (#116)	ChrisJL	2023-08-12	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \|	* Redirect http requests to https * Remove default NGINX site * Remove trailing whitespace from old meeting note * Mount static files * Correct capitalisation of notify directives * Add missing children key to inventory
*	Fix ansible-lint errors	chrislovering	2023-07-24	-2/+2
\|
*	Re-add previous ansible roles	Chris Lovering	2023-07-24	-0/+16
\| \| \| \| \| \| \|	Co-authored-by: Hassan Abouelela <[email protected]> Co-authored-by: Johannes Christ <[email protected]> Co-authored-by: Joe Banks <[email protected]> Co-authored-by: MarkKoz <[email protected]>
*	Delete roles we won't use with self-hosted k8s	Chris Lovering	2022-10-18	-19/+0
\|
*	Capitalise all task names in roles	Joe Banks	2022-03-15	-1/+1
\| \| \| \|	Makes all role names begin with a capital letter in Ansible roles
*	Configure GeoIP for moon phase support	Johannes Christ	2022-02-25	-0/+19
	In order to add moon phase support on the dark theme picker later, we need to configure the GeoIP module included with nginx. On Debian, the `nginx` package that we install installs `nginx-core`, which in turn installs the GeoIP module and even a GeoIP country database for us.