Re: [PATCH] git push --track
- From
Miles Bader <miles@gnu.org>
- Date
- Jan 14, 2010, 01:35 UTC
- Message-ID
- <87eilt5uzx.fsf@catnip.gol.com>
- In-Reply-To
- <be6fef0d1001131727r128c7727td2b948018d308719@mail.gmail.com>
Tay Ray Chuan <rctay89@gmail.com> writes:
Show 5 quoted lines
> before I put up my comments on the patch, I wonder if git-push is the > best place to add this feature, as git-push usually deals with > "pushing" data to another repo. > > I think git-branch would be a better place to do this.
No. I think push is absolutely the right place to do it.
I very often create local branches and only later decide that I'd also like to push them to a remote -- but just as often, or more often, I never do so. It would be extremely annoying if I had to make that decision at branch-time.
-Miles
-- Pray, v. To ask that the laws of the universe be annulled in behalf of a single petitioner confessedly unworthy.