Skip to content

/undo adds/resets files that were previously deleted #3674

Description

@DanielFGray

Describe the bug

if a project is in a git repo and a user calls /undo it somehow retrieves+restores deleted files from git, and even reset changes to files in situations where no files were changed via copilot

Affected version

1.0.59

Steps to reproduce the behavior

No response

Expected behavior

No response

Additional context

No response

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    area:context-memoryContext window, memory, compaction, checkpoints, and instruction loadingarea:toolsBuilt-in tools: file editing, shell, search, LSP, git, and tool call behavior

    Type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions