Method del_file_index

atomic-repository/src/repository/tracking.rs:526–540

Remove a file from the FILE_INDEX. Call this when a file is deleted (e.g., during git import cleanup) so that `status` doesn't show it as a stale entry.

(&self, path: &str)

    /// Call this when a file is deleted (e.g., during git import cleanup)
    /// so that `status` doesn't show it as a stale entry.
    pub fn del_file_index(&self, path: &str) -> Result<(), RepositoryError> {
        let mut txn = self
            .pristine
            .write_txn()
            .map_err(|e| RepositoryError::Database(e.to_string()))?;

        let normalized = path.replace('\\', "/");
        txn.del_file_index(&normalized)
            .map_err(|e| RepositoryError::Database(e.to_string()))?;

        txn.commit()
            .map_err(|e| RepositoryError::Database(e.to_string()))?;

        Ok(())
    }

    /// Remove multiple files from the FILE_INDEX in a single write transaction.
    ///