'git config' vs 'git repo-config'

Hi Junio,

  I've seen that 'git repo-config' has been renamed 'git config', but
old name is still available for back compatibility.

Do you plan to remove it in a near future?

Probably you already now why I'm asking this ;-)

Thanks
Marco