Trying to find a bug in GitHub 3