Made the script more robost in handling github repo name changes