public static String getRepositoryName(URL url) {
		if (!isServerRepositoryURL(url)) {
			return null;
		}
		String path = url.getPath();
		if (!path.startsWith("/")) {
			// handle possible ghidra protocol extension use which is assumed to encode
			// repository and file path the same as standard ghidra URL.
			try {
				URL extensionURL = new URL(path);
				path = extensionURL.getPath();
			}
			catch (MalformedURLException e) {
				path = "";
			}
		}
		path = path.substring(1);
		int ix = path.indexOf("/");
		if (ix > 0) {
			path = path.substring(0, ix);
		}
		return path;
	}
Get the shared repository name associated with a repository URL or null
if not applicable.  For ghidra URL extensions it is assumed that the first path element
corresponds to the repository name.
@param url ghidra URL for shared project resource
@return repository name or null if not applicable to URL
Ghidra/Framework/Project/src/main/java/ghidra/framework/protocol/ghidra/GhidraURL.java