Merge aea6c75c98979b000b7132f629d501bbca205039 into 8ade135a41bc03ea155e62e844d188df1ea18608

This commit is contained in:
Jeff Widman 2023-10-05 11:15:46 +02:00 committed by GitHub
commit 1b943d578e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -193,7 +193,7 @@ class GitCommandManager {
}
async checkout(ref: string, startPoint: string): Promise<void> {
const args = ['checkout', '--progress', '--force']
const args = ['-c advice.detachedHead=false', 'checkout', '--progress', '--force']
if (startPoint) {
args.push('-B', ref, startPoint)
} else {