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

build: update distribution

Browse Source
This commit is contained in:
dimitris-am 2024-06-11 11:22:55 +00:00 committed by github-actions[bot]
parent 8843435185
commit 05d0468146
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dist/index.js vendored
View File

@ -698,7 +698,7 @@ class GitCommandManager {
} }
push(options) { push(options) {
return __awaiter(this, void 0, void 0, function* () { return __awaiter(this, void 0, void 0, function* () {
const args = ['push']; const args = ['push', '--no-verify']; //added no verify here
if (options) { if (options) {
args.push(...options); args.push(...options);
} }