Made some tweaks to the github script