Shrunk external GitHub repo names