[petsc-dev] Getting credit for Contributors graph on github?

[Satish Balay]

On Thu, 28 Sep 2017, Satish Balay wrote:

> So perhaps the following change.
> 
> diff --git a/.mailmap b/.mailmap
> index aa4cc0b5da..53fa78858d 100644
> --- a/.mailmap
> +++ b/.mailmap
> @@ -39,7 +39,8 @@ Peter Brune <brune at uchicago.edu>                <brune at cs.uchicago.edu>
>  Peter Brune <brune at uchicago.edu>                <emppter at pbrune>
>  Peter Brune <brune at mcs.anl.gov>                 <brune at localhost>
>  Peter Brune <brune at mcs.anl.gov>                 <prbrune at localhost>
> -Richard Tran Mills <rtm at eecs.utk.edu>
> +Richard Tran Mills <rmills at rmills.org>          <rmills at ornl.gov>
> +Richard Tran Mills <rmills at rmills.org>          <rtm at eecs.utk.edu>
>  Semih Özmen <semihozmen at gmail.com>
>  Shri Abhyankar <abhyshr at mcs.anl.gov>
>  Stefano Zampini <stefano.zampini at gmail.com>

pushed this change

Satish