Making it easy to migrate issues between GitHub repos