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 - 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