Max Brunsfeld 647b08b101 Update local development workflow to not involve zed.dev (#4103) ... When testing Zed locally, it's rarely necessary to log in the real with, via Zed.dev and GitHub. We usually use `zed-local`. Since zed.dev is not going to be open source (at least right away), this PR removes it from our local development workflow. * Remove zed.dev from the Procfile * Change the `seed` script to not create an admin user for your signed-in github user * Instead have both `zed-local` and the `seed` script read from an `.admins.json` file, which the user can create in order to customize who they sign in as when running `zed-local`. * Update all of the docs for building and developing zed.		2024-01-17 15:07:20 -08:00
..
old	Add migration information to release docs and fix scripts	2024-01-11 11:24:17 -08:00
src	Update procfile and local development docs, zed.dev is no longer needed	2024-01-17 13:28:58 -08:00
.gitignore	WIP	2023-12-11 19:17:13 -05:00
book.toml	WIP	2023-12-11 19:17:13 -05:00
how-to-deploy.md	Add note	2023-12-13 10:35:54 -05:00