Set up git repositories to allow pushing to the current branch

git-svn-id: http://svn.cactuscode.org/arrangements/CactusUtils/Formaline/trunk@182 83718e91-0e4f-0410-abf4-91180603181f

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 ($?) {