From: Ramkumar Ramachandra <artagnon@gmail.com>
Date: Fri, 10 May 2013 19:58:13 GMT
Subject: [ITCH] push the HEAD I mean
Message-ID: <CALkWK0k5t9D2F_6d3A5pyUirDp=U=U6HwwfStiS7HPJVUvE0_g@mail.gmail.com>

Hi,

My push.default is current.  I often end up doing:

    # on master
    $ git push
    ....
    # switch to another terminal
    $ git checkout rebase.autostash
    $ git rebase master
    # go back to previous terminal
    # push has failed

This happens because push tries to push rebase.autostash instead.

Should push make a copy of the HEAD ref when invoked, and use that?

Ram