Max Brunsfeld e1ae0d46da Add an extensions API to the collaboration server (#7807) ... This PR adds a REST API to the collab server for searching and downloading extensions. Previously, we had implemented this API in zed.dev directly, but this implementation is better, because we use the collab database to store the download counts for extensions. Release Notes: - N/A --------- Co-authored-by: Marshall Bowers <elliott.codes@gmail.com> Co-authored-by: Marshall <marshall@zed.dev> Co-authored-by: Conrad <conrad@zed.dev>		2024-02-15 12:53:57 -08:00
..
environments	No more nightly/preview collab anymore (#7112)	2024-01-30 20:11:06 -07:00
collab.template.yml	Add an extensions API to the collaboration server (#7807)	2024-02-15 12:53:57 -08:00
migrate.template.yml	Remove 2 suffix for collab, rope, settings, menu	2024-01-03 12:29:16 -08:00
postgrest.template.yml	Deploy tweaks	2024-01-05 13:24:29 -07:00