Tay Ray Chuan <rctay89@xxxxxxxxx> writes: > 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. -- 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