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 <bsm...@mcs.anl.gov> wrote: > > > https://github.com/petsc/petsc/graphs/punch-card > > https://github.com/petsc/petsc/graphs/contributors > >