static void listRepositories(File repositoriesRootDir, Set<String> usernameSet) {
		String[] names = RepositoryManager.getRepositoryNames(repositoriesRootDir);
		if (names.length == 0) {
			System.out.println("   <No repositories have been created>");
			return;
		}

		boolean outputHeader = true;
		for (String name : names) {
			File repoDir = new File(repositoriesRootDir, NamingUtilities.mangle(name));

			String formattedAccessList =
				Repository.getFormattedUserPermissions(repoDir, "    ", usernameSet);
			if (formattedAccessList != null) {
				if (outputHeader) {
					System.out.println("\nRepositories:");
					outputHeader = false;
				}
				System.out.println("  " + name);
				System.out.print(formattedAccessList);
			}
		}

		if (outputHeader) {
			System.out.println("No repository access found for user(s):");
			String[] userNames = usernameSet.toArray(new String[usernameSet.size()]);
			Arrays.sort(userNames);
			for (String n : userNames) {
				System.out.println("    " + n);
			}
		}
	}
Print to stdout the repository access permissions for the specified set of users.
This is intended to be used with the svrAdmin console command
@param repositoriesRootDir repositories root directory
@param usernameSet set of users whose details should be displayed
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/RepositoryManager.java