From: Johannes Schindelin Date: Mon, 16 Feb 2009 10:50:12 GMT Subject: dashed commands, was Re: disallowing push to currently checked-out branch Message-ID: In-Reply-To: Hi, On Sun, 15 Feb 2009, david@lang.hm wrote: > I am not interested in forking git. but I am saying that a backwards > incompatible change had better _really_ be worth it, and not just be > worth it for the people who live an breath git, but for the users as > well (this is a test that the dashed name elimination failed. in spite > of a volcal few saying that all the commands in the path were causing > problems, most people couldn't understand why the git people wanted to > remove them) Nope. It was not just because we could. It was an explicit request by more than one person that we do not put 110+ commands into /usr/bin/. As for your argument that it should be worth for the users: if you are really thinking about the users, and not just yourself, you will see that the receive.denyCurrentBranch change is required. BTW there is a timeline. Junio said already that it will be in 1.7 and not earlier. Ciao, Dscho