bertagaz wrote (27 Feb 2015 14:58:35 GMT) :
> Also note that this might be the right time while reconfiguring your git
> to remove the old common `user.name` and `user.email` git config we
> used,
Agreed.
> as we decided recently to get rid of that. :)
Our contributors documentation still reflects the status quo.
Cheers,
--
intrigeri