collab: Increase number of returned extensions to 1,000 (#31983)

This PR increases the number of returned extensions from the extension
API to 1,000 (up from 500).

We'll need a better solution at some point, but for now we can keep
bumping this number.

Closes https://github.com/zed-industries/zed/issues/31067.

Release Notes:

- N/A
This commit is contained in:
Marshall Bowers 2025-06-03 11:03:32 -04:00 committed by GitHub
parent e7de80c6ae
commit 2551bde1d3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -66,7 +66,7 @@ async fn get_extensions(
params.filter.as_deref(),
provides_filter.as_ref(),
params.max_schema_version,
500,
1_000,
)
.await?;