7 Commits

Include renames

Author	SHA1	Message	Date
Antonio Scandurra	d9d99e5e04	Fix seed script	2022-10-10 16:05:22 +02:00
Max Brunsfeld	7a049f1404	Fix error when loading users without github user ids from the db	2022-09-21 14:27:06 -07:00
Max Brunsfeld	776095caf0	Add bootstrap script, avoid hard-coding zed team members	2022-08-15 13:25:31 -07:00
Keith Simmons	125d83b3ec	Fix failing seed bin build and add bin builds to ci pipeline	2022-05-26 15:41:24 -07:00
Antonio ScandurraandNathan Sobo	d4e6ab4975	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	b4ae2b20a0	Remove remaining async-std dependencies from collab	2022-04-26 19:47:40 +02:00
Nathan Sobo	ab8204368c	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