Fix for #232: GitHubVersion for pull requests are not working with dynamic repositories

Looks like old code of an old pull request. My bad, will revert these changes.