fix bug Branch name is wrong when compiling from a git worktree#197

Merged

kzu merged 2 commits intodevlooped:mainfrom li-zhixin:main

Aug 5, 2022

+15-10

Commits on May 31, 2022

fix bug Branch name is wrong when compiling from a git worktree
cruz
committed

Commits on Aug 5, 2022

Merge branch 'main' into main
kzu
authored