Trying to find a bug in GitHub 1