This is old news, but not properly announced yet: I still need to get used to it myself. Current Isabelle/342362c9496c provides Admin/init to manage a repository clone with components etc. Details are explained in README_REPOSITORY or "Admin/init -?". The most common form is probably: Admin/init -u Makarius