Trying to find a bug in GitHub 4