7 Commits

Include renames

Author	SHA1	Message	Date
Antonio Scandurra	3942d71b63	Fix seed script	2022-10-10 16:05:22 +02:00
Max Brunsfeld	3480bc04d9	Fix error when loading users without github user ids from the db	2022-09-21 14:27:06 -07:00
Max Brunsfeld	ad53de55a0	Add bootstrap script, avoid hard-coding zed team members	2022-08-15 13:25:31 -07:00
Keith Simmons	99db9f5383	Fix failing seed bin build and add bin builds to ci pipeline	2022-05-26 15:41:24 -07:00
Antonio ScandurraandNathan Sobo	6ba39d5f2d	Seed first users from GitHub when running script/seed-db --github-users ... Co-Authored-By: Nathan Sobo <nathan@zed.dev>	2022-05-10 17:19:39 +02:00
Antonio Scandurra	b9cccbf8a7	Remove remaining async-std dependencies from collab	2022-04-26 19:47:40 +02:00
Nathan Sobo	ad36f33940	Rename zed-server to collab ... Over time, I think we may end up having multiple services, so it seems like a good opportunity to name this one more specifically while the cost is low. It just seems like naming it "zed" and "zed-server" leaves it a bit open ended.	2022-04-09 08:30:42 -06:00