Skip to main content

GitWorktreeBackend

Struct GitWorktreeBackend 

Source
pub struct GitWorktreeBackend { /* private fields */ }
Expand description

A workspace backend implementation using git worktree.

Implementations§

Source§

impl GitWorktreeBackend

Source

pub const fn new(root: PathBuf) -> Self

Create a new GitWorktreeBackend.

Trait Implementations§

Source§

impl WorkspaceBackend for GitWorktreeBackend

Source§

fn destroy(&self, name: &WorkspaceId) -> Result<(), Self::Error>

Destroy a workspace by removing its git worktree.

This is atomic and idempotent:

  • If the workspace doesn’t exist (already destroyed), returns Ok(()).
  • Step 1: git worktree remove --force <path> (handles dirty worktrees)
  • Step 2: If that fails, remove the directory manually and prune.
  • Step 3: git worktree prune to clean up stale references.

Each step is individually idempotent, so a crash at any point can be retried safely.

Source§

fn list(&self) -> Result<Vec<WorkspaceInfo>, Self::Error>

List all workspaces managed by this backend.

Parses git worktree list --porcelain and filters to worktrees directly under the ws/ directory. The main worktree (repo root) and any non-ws/ worktrees are excluded.

Staleness is determined by comparing each workspace’s HEAD against refs/manifold/epoch/current. If the epoch ref doesn’t exist (Manifold not yet initialized), all workspaces are reported as Active.

Source§

fn status(&self, name: &WorkspaceId) -> Result<WorkspaceStatus, Self::Error>

Get the current status of a workspace.

Reports dirty files (modified, added, deleted, untracked) by running git status --porcelain inside the worktree directory.

Staleness is determined by comparing the workspace’s HEAD (the epoch it was created at) against refs/manifold/epoch/current.

Source§

fn snapshot(&self, name: &WorkspaceId) -> Result<SnapshotResult, Self::Error>

Scan a workspace’s working directory for changes relative to the base epoch.

Detects added, modified, and deleted files by comparing the workspace’s working tree against the epoch commit. Also picks up untracked files as additions.

§Implementation

The diff base is the epoch (from refs/manifold/epoch/current), NOT the workspace’s HEAD. Agents may commit changes inside a workspace, which advances HEAD beyond the epoch. If we diffed against HEAD, those committed changes would be invisible and the merge engine would see an empty workspace.

  1. git diff --name-status <epoch> — all changes (committed + uncommitted)
  2. git ls-files --others --exclude-standard — untracked files
Source§

type Error = GitBackendError

The error type returned by backend operations.
Source§

fn create( &self, name: &WorkspaceId, epoch: &EpochId, ) -> Result<WorkspaceInfo, Self::Error>

Create a new workspace. Read more
Source§

fn workspace_path(&self, name: &WorkspaceId) -> PathBuf

Get the absolute path to a workspace. Read more
Source§

fn exists(&self, name: &WorkspaceId) -> bool

Check if a workspace exists. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more