merge information from repositories that changed names github API currently is set to [automatically redirect](https://developer.github.com/changes/2015-04-17-preview-repository-redirects/), but this means that GTH needs to request info on old repositories to check if they're the same?
merge information from repositories that changed names
github API currently is set to automatically redirect, but this means that GTH needs to request info on old repositories to check if they're the same?