Hi, On Fri, 29 Jul 2005, Petr Baudis wrote:
> Dear diary, on Fri, Jul 29, 2005 at 12:57:50PM CEST, I got a letter > where Johannes Schindelin <[EMAIL PROTECTED]> told me that... > > > git-switch-tree remotehead > > git-merge master > > git-push remoteside remotehead > > > > which would have the further advantage of documenting what you really did > > in the history. > > How would that document anything normal push wouldn't? git-merge? > > And if you really want to be able to spread chaos in your own head, you > > can do something like > > > > ln -s master .git/refs/heads/remotehead > > git-push remoteside remotehead > > I'd argue that's much more messy and evil than pushing to heads with > different names. If you compare what you just proposed with pushing to > heads with different names, what's the advantage? It makes it hard. It tells you to be real careful here. It tells you that you are not babysitted from here on. Ciao, Dscho - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html
