Re: [PATCH] git-init: treat option `--bare'

Johannes Schindelin [off-list ref] writes:

Also keep in mind that "git --bare <some-command-other-than-init" is 
_really_ rare, at least in my experience.  I had to use it exactly _twice_ 
since I started using Git.

Exactly.  That is really the contributing factor that I am in favor of
this (perhaps redundant from theoretical point of view) addition.