Use basename to chop up github URLs

This is much more robust than the sed junk I was using before.