MergeOriginLocal ticket TicketLoomId repo RepoId branch Text Maybe UniqueMergeOriginLocal ticket MergeOriginRemote ticket TicketLoomId repo RemoteActorId UniqueMergeOriginRemote ticket MergeOriginRemoteBranch merge MergeOriginRemoteId ident LocalURI Maybe name Text UniqueMergeOriginRemoteBranch merge