[PATCH 0/3] Fixing volatile HEAD in push.default = current
- From
Ramkumar Ramachandra <artagnon@gmail.com>
- Date
- May 21, 2013, 18:23 UTC
- 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