Closed yuehaoliang closed 8 months ago
Purpose of the PR
pull/<PR-ID>/merge
refs/
refs/pull/<PR-ID>/head
pull/<PR-ID>/head
acb download
Fixes #673
Lgtm
Purpose of the PR
pull/<PR-ID>/merge
(refs/
can be omitted), so it's better to include this format.refs/pull/<PR-ID>/head
orpull/<PR-ID>/head
.acb download
with launch.json git commands.Fixes #673