4 commits

Author	SHA1	Message	Date
William Martin	ad089d48d9	Update microsoft dev-tunnels to v0.1.13 ... https://github.com/microsoft/dev-tunnels/pull/322 introduced a few breaking changes: * Port Tags were renamed to Labels * Client construction must now provide an API version (of which there is only one) * The /api/v1 prefix was dropped from request paths * TunnelPortListResponses may now be paginated (but we don't support that) * Requests to create a port with a changed protocol began erroring	2025-07-02 16:38:07 +02:00
David Gardiner	581b6652e2	Resolve race condition in codespaces connection	2023-10-31 12:19:14 -07:00
David Gardiner	64f4660ec7	Migrate all Codespaces operations from Live Share to Dev Tunnels (#8149) ... * Migrate all Codespaces operations from Live Share to Dev Tunnels * Remove Live Share references * Fix linting errors * Update comments, remove deps, add uint16 bound checks * Fix tests and move keep-alive logic to forwarder * Address comments * Updated mock port forwarder * Fix CodeQL error * Update comment * Update func name * Add missing connection close * Fix linting error * https -> http * Update defer * Fix tests	2023-10-12 22:16:36 +00:00
David Gardiner	e059f32aa5	Forward codespace ports over Dev Tunnels	2023-09-27 13:42:40 -07:00