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}.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html