Looks like GitHub is experiencing errors, just had the same problem with an unrelated repo.