5 commits

Author	SHA1	Message	Date
Seirdy	eb6d1494ba	Clean up some deployment bits ... - setup-ci.sh: stop writing an ssh config since I pass around options on the CLI. - Makefile: tidy some things, remove unused stuff, add some docs. - Makefile: clean up unnecessary dupe files from rsync output a bit	2024-06-20 16:08:33 -04:00
Rohan Kumar	52ebbcec5a	print commands in setup-ci	2024-04-03 22:36:32 -04:00
Rohan Kumar	d1711699d4	Opportunistically use pipefail	2023-11-25 13:40:52 -08:00
Rohan Kumar	ba3c58dfd9	Fix perms	2023-11-24 21:04:41 -08:00
Rohan Kumar	de65f4d506	Move some CI logic to scripts/makefile ... Also update some of its docs	2023-11-24 13:02:52 -08:00