Skip to content

Fix HEAD for worktrees#1848

Closed
chuseman wants to merge 5 commits intoGitTools:masterfrom
chuseman:fix-worktree-head
Closed

Fix HEAD for worktrees#1848
chuseman wants to merge 5 commits intoGitTools:masterfrom
chuseman:fix-worktree-head

Commits

Commits on Nov 21, 2019

Commits on Dec 13, 2019