Why Satish and several petsc developers are missing from the list of contributors? Hong On Tue, Jul 30, 2013 at 12:11 AM, Aron Ahmadia <[email protected]> wrote:

In which Barry discovers the joys of GitHub :)

Have you gotten started with hub yet?

https://github.com/github/hub

On Tue, Jul 30, 2013 at 12:09 AM, Barry Smith <[email protected]> wrote:

...

https://github.com/petsc/petsc/graphs/punch-card

https://github.com/petsc/petsc/graphs/contributors