shortening names so they show up in github