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

activate-venv

…

build-docker-images

ci: Remove unused detritus from Docker images.

2021-07-14 22:45:38 -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

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