Ah, very good. The page the submission links to did have some kind of error at the time I posted my comment - instead of the commit message and diffs it had a vaguely-404ish error message in red. But it sounds like it was probably just a temporary error - perhaps the HN effect!