Typical hey… within a few hours of me pushing my first piece of code to GitHub it goes and dies! Reminds me of when I first tried Twitter (though I suspect everyone got that problem!).
Anyway good news… nothing was lost (phew!) and GitHub is now available again (yippee!).