Skip to content

Repair pi-shell process.rs formatting drift on current dev baseline #3682

Description

@Yeachan-Heo

Internal pi-shell repair

The initial rustfmt-only repair exposed one repository-enforced clippy::question_mark denial at crates/pi-shell/src/process.rs:110. The repair is therefore formatting plus one semantic-preserving lint-equivalent maintenance change, with no unrelated clippy cleanup.

Acceptance

  • One commit atop the live dev tip.
  • Only crates/pi-shell/src/process.rs changes.
  • Preserve the requested rustfmt formatting and replace the equivalent let Some(tid_str) = name.to_str() else { return None; }; with let tid_str = name.to_str()?;.
  • Pass cargo fmt --all -- --check, repository check:rs (workspace clippy with -D warnings), and cargo test -p pi-shell.
  • Force-push with lease and obtain fresh exact-head CI plus hostile review evidence.

No unrelated clippy cleanup is in scope.


[repo owner's gaebal-gajae (clawdbot)]

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions