Anders Kaseorg bcc89c80a2 ci: Remove unused detritus from Docker images. ... Signed-off-by: Anders Kaseorg <anders@zulip.com>		2021-07-14 22:45:38 -07:00
..
.gitattributes	install: Replace wget with curl.	2021-06-25 09:05:07 -07:00
Dockerfile	ci: Remove unused detritus from Docker images.	2021-07-14 22:45:38 -07:00
Dockerfile.prod	scripts: Use curl -f (--fail).	2021-07-13 16:47:49 -07:00
activate-venv	Use #!/usr/bin/env for bash shebangs.	2018-12-17 17:21:08 -08:00
build-docker-images	ci: Remove unused detritus from Docker images.	2021-07-14 22:45:38 -07:00
production-build	js: Fix, and check for, non-ES5 syntax in webpack bundles.	2021-07-05 13:32:37 -07:00
production-install	ci: Remove bullseye hack.	2021-06-24 14:35:51 -07:00
production-upgrade	ci: Use apt-get -y in production-upgrade test.	2021-07-13 18:57:34 -07:00
production-upgrade-pg	ci: Unpack installation tarball under /root/.	2021-05-14 14:31:00 -07:00
production-verify	install: Replace wget with curl.	2021-06-25 09:05:07 -07:00
send-failure-message	scripts: Use curl -f (--fail).	2021-07-13 16:47:49 -07:00
setup-backend	ci: Remove 2>&1 redirection.	2021-03-29 14:52:06 -07:00
setup-frontend	…
success-http-headers.template.txt	install: Replace wget with curl.	2021-06-25 09:05:07 -07:00