Use the new dotshell repository