diff options
-rwxr-xr-x | src/util/git-init-master-repo.pl | 5 | ||||
-rwxr-xr-x | src/util/git-init-repo.pl | 5 | ||||
-rwxr-xr-x | src/util/git-push-everything.pl | 6 |
3 files changed, 16 insertions, 0 deletions
diff --git a/src/util/git-init-master-repo.pl b/src/util/git-init-master-repo.pl index ef5d5e5..d0f506e 100755 --- a/src/util/git-init-master-repo.pl +++ b/src/util/git-init-master-repo.pl @@ -37,6 +37,11 @@ system "$git_cmd init-db $silencer"; if ($?) { die "Formaline: WARNING: Error while initialising master git repository"; } +print "Executing: $git_cmd config receive.denyCurrentBranch false\n" unless $silent; +system "$git_cmd config receive.denyCurrentBranch false $silencer"; +if ($?) { + die "Formaline: WARNING: Error while configuring master git repository"; +} diff --git a/src/util/git-init-repo.pl b/src/util/git-init-repo.pl index 07a6f43..c676251 100755 --- a/src/util/git-init-repo.pl +++ b/src/util/git-init-repo.pl @@ -37,6 +37,11 @@ system "$git_cmd init-db $silencer"; if ($?) { die "Formaline: WARNING: Error while initialising git repository"; } +print "Executing: $git_cmd config receive.denyCurrentBranch false\n" unless $silent; +system "$git_cmd config receive.denyCurrentBranch false $silencer"; +if ($?) { + die "Formaline: WARNING: Error while configuring git repository"; +} diff --git a/src/util/git-push-everything.pl b/src/util/git-push-everything.pl index faebdf7..ee39ab4 100755 --- a/src/util/git-push-everything.pl +++ b/src/util/git-push-everything.pl @@ -33,6 +33,12 @@ die unless -e "$git_master_repo/.git"; print "Formaline: Pushing source tree to master git repository...\n"; +print "Executing: $git_cmd config receive.denyCurrentBranch false\n" unless $silent; +system "$git_cmd --git-dir=$git_master_repo/.git config receive.denyCurrentBranch false $silencer"; +if ($?) { + die "Formaline: WARNING: Error while configuring master git repository"; +} + print "Executing: $git_cmd push -v -f --all $git_master_repo\n" unless $silent; system "$git_cmd push -v -f --all $git_master_repo $silencer"; if ($?) { |