2 commits

Author	SHA1	Message	Date
Max Brunsfeld	77fc332d6f	Make zed-local support opening 5 or 6 zed instances	2024-01-18 12:18:12 -08:00
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