Repository navigation
revert change to ignore_skip_worktree in git checkout and git restore - #674
Merged
Johannes Schindelin (dscho) merged 1 commit intoJul 12, 2024
Commits
Commits on Jul 12, 2024