2009/3/30 Santi Béjar <santi@xxxxxxxxxxx>: > 2009/3/30 Johannes Schindelin <Johannes.Schindelin@xxxxxx>: >> On Mon, 30 Mar 2009, Finn Arne Gangstad wrote: >>> Some people may have started setting push.default already, so changing >>> the name may cause additional grief. >> >> ... indeed, it is too late now. The milk has boiled already. > > I have it configured, but I think we can fix these type of things > while they are in 'next'. > Now that I've recheck it, it seems to be in 'master', it's less clear, but I still think we can fix these type of things while they are not in a relased version. The people with that setting is following the development version, and can easily notice/change it. Santi -- 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
