From: Ramkumar Ramachandra Date: Tue, 21 May 2013 18:23:17 GMT Subject: [PATCH 0/3] Fixing volatile HEAD in push.default = current Message-ID: <1369160600-22337-1-git-send-email-artagnon@gmail.com> There's still a lot to think about. [3/3] is the big itch: [1/2] and [2/2] are just setup patches. Ramkumar Ramachandra (3): push: factor out the detached HEAD error message push: fail early with detached HEAD and current push: don't push the volatile HEAD with current builtin/push.c | 20 +++++++++++++------- 1 file changed, 13 insertions(+), 7 deletions(-) -- 1.8.3.rc3.7.gc1ff30b