GitHub problems

Dirk Hohndel dirk at hohndel.org
Tue Sep 11 08:27:24 PDT 2012


GitHub appears to encounter major problems today. Right now the site is
completely down. A few minutes ago it was giving bogus, outdated git
trees.

git.hohndel.org is up and happy and up-to-date. So please go there if
you need to look at the latest code in master (or in one of my
branches).

/D


More information about the subsurface mailing list