bf0fda3
Merge pull request #1174 from zed-industries/bulk-user-creation
Click to expand commit body
Expose a new `POST /api/bulk_users` API to create many users at once
Antonio Scandurra
created
49d7b4b
Allow specifying `query`, `limit` and `page` when hitting `/api/users`
Click to expand commit body
This is needed to introduce pagination and search in our admin panel.
Antonio Scandurra
created
fe1a861
Expose a new `POST /api/bulk_users` API to create many users at once
Click to expand commit body
This API will accept a vector of JSON entries containing the GitHub login,
the email address and the invite count. If that user already exist, the
invite count will be updated to the new one.
Antonio Scandurra
created
b1e8e81
Merge pull request #1172 from zed-industries/more-logs
Click to expand commit body
Add more logging to `collab` to better understand user behavior
Antonio Scandurra
created
502625c
Exclude ignored files from the logged extension count
Antonio Scandurra
created
dcdc631
Don't retain message payloads in span, just log the payload instead
Antonio Scandurra
created
3b8388d
Log extension counts when worktree is updated
Antonio Scandurra
created
1bc2bc0
Merge pull request #1171 from zed-industries/prompt-save-before-quit
Click to expand commit body
Prompt to save changes before quitting the app
Max Brunsfeld
created
b9eb875
Prompt to save changes before quitting the app
Max Brunsfeld
created
d5f360a
Merge pull request #1170 from zed-industries/open-metrics
Click to expand commit body
Report collab server metrics to DataDog via OpenMetrics
Max Brunsfeld
created
e293510
Move prometheus annotations from deployment to pod spec
Max Brunsfeld
created
2311534
Add DataDog OpenMetrics annotations to collab k8s deployment
Click to expand commit body
Co-authored-by: Antonio Scandurra <me@as-cii.com>
Max Brunsfeld
and
Antonio Scandurra
created
2e6fa88
Add OpenMetrics endpoint exposing the basic RPC store metrics as guages
Click to expand commit body
Co-authored-by: Antonio Scandurra <me@as-cii.com>
Max Brunsfeld
and
Antonio Scandurra
created
b279878
Merge pull request #1161 from zed-industries/style-jump-to-diagnostic-arrows
666ea61
Introduce a new `BlockStyle` field for blocks
Click to expand commit body
This new field allows blocks to specify how they want to be laid out:
- If `Fixed` they can take up all the width they want and they will impact
the scroll width of the editor. This is useful for diagnostic messages and
allows scrolling the editor further to the right to visualize the entire message.
- If `Flex` they can extend all the way to the scroll width without impacting it
any further. This is useful for the rename editor that we insert as a block
decoration when hitting `F2`.
- If `Sticky`, they will be as wide as the editor element and won't participate
in the horizontal scrolling of the editor. This is useful for headers in general,
where we want e.g. the filename and the jump button to always be visible
independently of how much the user has scrolled to the right.
Antonio Scandurra
created
8e440bf
Merge pull request #1166 from zed-industries/hover-fixes