Down might be too strong a word, but GitHub is definitely dodgy this morning.