Trying to correct unknown lack of sync between GitHub.com and our repo.