Allow nulls in `projects.host_connection_{id,server_id}`

collab 0.3.13

Avoid logging an error when user who hasn't joined any room disconnects

Use "id" nomenclature more consistently

Re-add server_id indices for room_participants/project_collaborators

Fix stale server queries, use foreign keys from connectionsn to servers

WIP

WIP

Introduce an epoch to `ConnectionId` and `PeerId`

collab 0.3.12

Add more logging to `Room`

Instrument `rpc::Server::start` and reduce cleanup timeout again

collab 0.3.11

Try using a longer timeout for cleaning up stale rooms

collab 0.3.10

Reduce readiness probe delay and period

collab 0.3.9

Fix kubernetes configuration for readiness probe

collab 0.3.8

Define readiness probe to know when the new server can accept traffic

collab 0.3.7

Don't wait for stale project deletion before listening for connections

collab 0.3.6

Listen to SIGTERM in addition to ctrl-c for graceful shutdown

collab 0.3.5

Set log level to debug for preview deployment

collab 0.3.4

Fix excessive delay before clearing stale room data

collab 0.3.3

Merge remote-tracking branch 'origin/collab-0.3.x'

Wait longer before deleting outdated rooms from the database

Merge pull request #1968 from zed-industries/fix-text-size-in-updates

Merge pull request #1965 from zed-industries/preserve-calls-during-server-restarts

Merge pull request #1963 from zed-industries/fix-workspace-corner-cases

Merge pull request #1962 from zed-industries/scrolling-breaks-follow

Merge pull request #1961 from zed-industries/fix-next-screen-bug

Merge pull request #1959 from zed-industries/serializing-bug-fixes

Merge pull request #1950 from zed-industries/reconnect-to-room

Merge pull request #1951 from zed-industries/dock-bugfix

collab 0.3.1

Merge pull request #1949 from zed-industries/do-not-drop-unregistered

Merge pull request #1940 from zed-industries/terminal-collab-kickoff

v0.68.x dev

Merge pull request #1944 from zed-industries/vim-page-movement

collab 0.3.0

Merge pull request #1941 from zed-industries/Allow-overwriting-signup-data

Merge pull request #1946 from zed-industries/fix-zombie-tooltips

Merge pull request #1945 from zed-industries/drag-and-drop-deadzones

Merge pull request #1943 from zed-industries/fix-inviting-existing-users-via-different-mail

Merge pull request #1938 from zed-industries/fix-metrics

Merge pull request #1937 from zed-industries/fix-accepted-contact-busy-status

Merge pull request #1935 from zed-industries/reconnections-2

Merge pull request #1936 from zed-industries/c-outline-pointers

Merge pull request #1858 from zed-industries/add-lisp

Merge pull request #1924 from zed-industries/simon-says-dont-move

Merge pull request #1798 from zed-industries/serializing-workspaces

Merge pull request #1876 from zed-industries/update-release-urls-to-match-new-zed.dev-url-format

collab 0.2.5

Merge pull request #1922 from zed-industries/dont-panic-clip-instead

Merge pull request #1913 from zed-industries/Add-column-to-signups-for-added-to-mailing-list

Merge pull request #1920 from zed-industries/order-invites-by-creation-time

Merge pull request #1918 from zed-industries/remove-sign-in-telemetry-event

Merge pull request #1917 from zed-industries/integer-excerpt-ids

Merge pull request #1912 from zed-industries/matching-brackets-must-contain-range

Merge pull request #1910 from zed-industries/lsp-coordinate-clamp

v0.67.x dev

Merge pull request #1911 from zed-industries/single-file-worktree-event-extension

change bump-version to install jq if its not already installed

Merge pull request #1814 from zed-industries/golden-ratio

Merge pull request #1906 from zed-industries/mouse-down-capture-on-click-fix

Merge pull request #1903 from zed-industries/override-pyright-completion-sorting

Merge pull request #1902 from zed-industries/event-handlers-are-multitude

collab 0.2.4

Merge pull request #1900 from zed-industries/fix-terminal-performance

Fix top-level header in discord webhook action

Move comment to correct location

v0.66.x dev

Merge pull request #1894 from zed-industries/opt-as-meta-fix

Merge pull request #1897 from zed-industries/allow-users-to-sign-up-multiple-times

collab 0.2.3

Merge pull request #1896 from zed-industries/fix-invites

Merge pull request #1895 from zed-industries/ruby-solargraph

Merge pull request #1863 from zed-industries/erb

Fix compile errors in seed script, ensure it is compiled on CI

Merge pull request #1889 from zed-industries/terminal-bugs

Merge pull request #1873 from zed-industries/drag-project-entry-to-pane

Merge pull request #1875 from zed-industries/fix-code-actions-regression

Merge pull request #1874 from zed-industries/propagate-mouse-up-through-drop-receiver

Merge pull request #1871 from zed-industries/skip-additional-edit-within-primary

Merge pull request #1870 from zed-industries/fix-remote-abs-paths

Merge pull request #1867 from zed-industries/drag-project-entry-to-pane

Merge pull request #1872 from zed-industries/tests-use-real-db

Merge pull request #1868 from zed-industries/readd-search-match-highlight

Fetch release branches before bumping zed minor versions

v0.65.x dev

Merge pull request #1865 from zed-industries/do-not-restrict-code-action-kinds

Merge pull request #1866 from zed-industries/tweak-restart-zed-message

Fix failure to load .env.toml in bootstrap script

Merge pull request #1864 from zed-industries/add-more-move-cursor

Merge pull request #1862 from zed-industries/fix-catalina