Anders Kaseorg 9f2ac49fb3 ci: Change github UID from 3434 to 1001. ... CircleCI expected 3434; GitHub Actions expects 1001. This is the reason zulip-ci.yml currently needs to mess with the permissions in /__w. Signed-off-by: Anders Kaseorg <anders@zulip.com>		2021-10-14 13:01:47 -07:00
..
.gitattributes	install: Replace wget with curl.	2021-06-25 09:05:07 -07:00
Dockerfile	ci: Change github UID from 3434 to 1001.	2021-10-14 13:01:47 -07:00
Dockerfile.prod	tools: Switch to download.zulip.com from www.zulip.org.	2021-08-26 17:21:31 -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: Remove unnecessary steps from production upgrade script.	2021-07-28 08:44:15 -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