Max Brunsfeld 9367f719f2 Rework db-seeding, so that it doesn't depend on a github auth token ...

Instead, admins are specified using a JSON file, 'admins.json'. This file is
gitignored. If it is not present, there is a default list of admins in
'admins.default.json'.

2024-01-17 13:28:58 -08:00

..

dotenv.rs

Rename zed-server to collab

2022-04-09 08:30:42 -06:00

seed.rs

Rework db-seeding, so that it doesn't depend on a github auth token

2024-01-17 13:28:58 -08:00