Remove notion of github_info.txt as it is no longer used