Cut 0.20.0

[blooop]

dl <ws> kill (#484, map #488), and nothing else: main was at 0.19.1 with no other change since, so 0.20.0 is that verb.

Minor rather than patch because it adds a verb.

The four files a cut touches, the same four #486 touched for 0.19.1: the changelog entry publish.yml reads for the release body, rust/Cargo.toml as the one version the workflow watches, both of the README's copies (the conda badge and the dl --version sample, which test_readme_cli_doc.py checks against the manifest), and Cargo.lock, which pins the workspace version and would fail CI's --locked build without it.

Verified locally: cargo build --release --locked succeeds and the binary prints dl 0.20.0, matching the README sample exactly.

Merging this fires Auto-publish, which builds, publishes to PyPI, tags v0.20.0 and writes the release from the changelog; Conda Publish then chains off that workflow finishing.

Summary by Sourcery

Release version 0.20.0 with a new workspace recovery command for unresponsive workspaces.

New Features:

• Add the dl <workspace> kill command to recover wedged workspaces by safely terminating stale processes and containers while preserving active builds.

Build:

• Bump the Rust workspace and lockfile version to 0.20.0.

Documentation:

• Add the 0.20.0 changelog entry and update README release/version references.

[sourcery-ai]

Sorry @blooop, you've used your own review budget of 250,000 diff characters for the last 7 days.

You can request another review in 2 days and 9 hours by commenting @sourcery-ai review. Upgrade to get a review now.

[sourcery-ai]

Reviewer's Guide

Cuts release 0.20.0 by documenting the dl <ws> kill feature and synchronizing the manifest, lockfile, README, and release-facing version metadata so Auto-publish can build and tag the release consistently.

Sequence diagram for workspace kill recovery

sequenceDiagram
    participant User
    participant DL as dl
    participant Host as Host process table
    participant Docker
    participant Kernel

    User->>DL: kill workspace selector
    DL->>Host: inspect workspace processes
    DL->>Host: SIGTERM orphaned devpod processes
    DL->>Host: SIGKILL remaining processes
    DL->>Docker: inspect workspace containers
    DL->>Docker: stop running containers
    Host-->>DL: report pid and command line
    Docker-->>DL: report container results
    DL->>Kernel: release flock when holder dies
    Kernel-->>DL: workspace no longer held
    DL-->>User: exit 0 and print recovery report

Loading

File-Level Changes

Change	Details	Files
Adds the 0.20.0 changelog entry documenting the new workspace recovery verb and its safety and targeting behavior.	Documents stale-process cleanup, marker handling, container cleanup, reporting, and exit semantics. Documents lock-file preservation, live-build protection, selector support, and bounded resolution/Docker operations.	CHANGELOG.md
Updates all user-facing and build-enforced version references from 0.19.1 to 0.20.0.	Bumps the workspace package version used by release automation. Regenerates the locked workspace version. Updates the Conda badge and README version example.	rust/Cargo.toml rust/Cargo.lock README.md

---

Tips and commands

Interacting with Sourcery

• Trigger a new review: Comment @sourcery-ai review on the pull request.
• Continue discussions: Reply directly to Sourcery's review comments.
• Generate a GitHub issue from a review comment: Ask Sourcery to create an
  issue from a review comment by replying to it. You can also reply to a
  review comment with @sourcery-ai issue to create an issue from it.
• Generate a pull request title: Write @sourcery-ai anywhere in the pull
  request title to generate a title at any time. You can also comment
  @sourcery-ai title on the pull request to (re-)generate the title at any time.
• Generate a pull request summary: Write @sourcery-ai summary anywhere in
  the pull request body to generate a PR summary at any time exactly where you
  want it. You can also comment @sourcery-ai summary on the pull request to
  (re-)generate the summary at any time.
• Generate reviewer's guide: Comment @sourcery-ai guide on the pull
  request to (re-)generate the reviewer's guide at any time.
• Resolve all Sourcery comments: Comment @sourcery-ai resolve on the
  pull request to resolve all Sourcery comments. Useful if you've already
  addressed all the comments and don't want to see them anymore.
• Dismiss all Sourcery reviews: Comment @sourcery-ai dismiss on the pull
  request to dismiss all existing Sourcery reviews. Especially useful if you
  want to start fresh with a new review - don't forget to comment
  @sourcery-ai review to trigger a new review!

Customizing Your Experience

Access your dashboard to:

• Enable or disable review features such as the Sourcery-generated pull request
  summary, the reviewer's guide, and others.
• Change the review language.
• Add, remove or edit custom review instructions.
• Adjust other review settings.

Getting Help

• Contact our support team for questions or feedback.
• Visit our documentation for detailed guides and information.
• Keep in touch with the Sourcery team by following us on X/Twitter, LinkedIn or GitHub.