Re: [PATCH 6/7] sha1_name: prepare to introduce AT_KIND_PUSH

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}.