actions/create-pull-request
1
0
Fork 0
mirror of https://forgejo.stefka.eu/jiriks74/create-pull-request.git synced 2025-01-18 16:01:06 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #5 from dimitris-am/update-distribution

Browse source 
Update distribution
This commit is contained in:
dimitris-am 2024-06-11 14:23:26 +03:00 • committed by GitHub
commit 6d4588e398
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
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);
} }