Update tools to use new repo names