huanghuiming/create-pull-request
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

just trying to upd dist

Browse Source
This commit is contained in:
dimitris-am 2024-06-11 14:15:28 +03:00
parent f5c60f03b6
commit 242e7cedc0
No known key found for this signature in database
GPG Key ID: FD12F6141718ABF3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/git-command-manager.ts
View File

@ -188,7 +188,7 @@ export class GitCommandManager {
} }
async push(options?: string[]): Promise<void> { async push(options?: string[]): Promise<void> {
const args = ['push', '--no-verify'] const args = ['push', '--no-verify'] //added no verify here
if (options) { if (options) {
args.push(...options) args.push(...options)
} }