From c337848954ddb31d36d795863673cf8b9f47a717 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carlos=20Andr=C3=A9s=20Rocha?= <rocha@edx.org>
Date: Fri, 5 Oct 2012 16:23:39 -0400
Subject: [PATCH] Set git push.default to current on the create-dev-env script

---
 create-dev-env.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/create-dev-env.sh b/create-dev-env.sh
index e339d0e310..f7df66a3bf 100755
--- a/create-dev-env.sh
+++ b/create-dev-env.sh
@@ -334,10 +334,12 @@ output "Installing askbot requirements"
 pip install -r askbot/askbot_requirements.txt
 pip install -r askbot/askbot_requirements_dev.txt
 
-
 mkdir "$BASE/log" || true
 mkdir "$BASE/db" || true
 
+output "Fixing your git default settings"
+git config --global push.default current
+
 cat<<END
    Success!!