function pushWorkspaceUserimport { pushWorkspaceUser } from "https://dotland.deno.dev/x/wmill@v1.423.1/user.ts"; pushWorkspaceUser(workspace: string,path: string,user: SimplifiedUser | undefined,localUser: SimplifiedUser,): Promise<void>Parametersworkspace: stringpath: stringuser: SimplifiedUser | undefinedlocalUser: SimplifiedUserReturnsPromise<void>