Re: [PATCH 6/7] sha1_name: prepare to introduce AT_KIND_PUSH
- From
Ramkumar Ramachandra <artagnon@gmail.com>
- Date
- May 24, 2013, 13:27 UTC
- 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}.