On 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

Github really sucks. I go to that page and I have absolutely no idea what hub does nor how to find more information. No Overview, no Wiki, o nothing! Barry

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