update github repo link with the new name (even though github works with the old one, i like to keep it updated)