Just a reminder for developers who want to get credit for their PETSc commits.
> Begin forwarded message: > > From: Jed Brown <[email protected]> > Subject: Re: [petsc-maint] Contributors graph on github? > Date: September 27, 2017 at 11:01:48 AM CDT > To: Richard Tran Mills <[email protected]>, PETSc-maint > <[email protected]> > > Add the addresses to your account or add yourself to .mailmap. > > Richard Tran Mills <[email protected]> writes: > >> I hadn't seen this "contributors" graph before and found it interesting: >> >> https://github.com/petsc/petsc/graphs/contributors >> >> What would I need to do to get the various commits I've made over there >> years to be associated with my 'rtmills' github account? >> >> --Richard
