From: Ramkumar Ramachandra <artagnon@gmail.com>
Date: Fri, 24 May 2013 13:27:05 GMT
Subject: Re: [PATCH 6/7] sha1_name: prepare to introduce AT_KIND_PUSH
Message-ID: <CALkWK0m+PAeE1nk4a7PjXU2tymCQVXzGL1CFOgyd5AqJuVZ9Og@mail.gmail.com>
In-Reply-To: <CAMP44s2AxHkx54HzCCK5nUsexAhWy4J_oqg4wNu0=FzvEYtXAg@mail.gmail.com>

Felipe Contreras wrote:
>   git push branch@{push}
>
> Is not clear at all: push push of branch?

We can pick the name later.  I had to pick a name to write code, and
that happens to be @{push}.