On Sat, Mar 17, 2012 at 9:36 AM, Sebastien Douche <sdouche@xxxxxxxxx> wrote: > On Thu, Mar 8, 2012 at 11:01, Jeremy Morton <jeremy@xxxxxxxxxxxx> wrote: >> Hi everyone, > > Hi Jeremy (sorry to be late, back from holiday) > >> I've noticed that the default behaviour of 'git push' is to push to >> *all* branches that have a remote branch set up. In order to push >> just to one branch, you must specify 'git push repo branchname'. >> >> This seems rather unintuative to me > > I made many Git presentation and managed a lot of training[1] and the > first thing I explain on the configuration is : > > 1. set your name and email > 2. change the default push option[2] So, that would seem to be a rather strong indication that the default push option is a bad one. :-) Best regards, Jeremy Morton (Jez) -- 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