handle repositories that are renamed #3
Description
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?