Documentation: shared repository management in tutorial.