> > Please tell me what you do when you want to merge a gerrit topic that is not > yours. Either just use the checkout line from gerrit, or do a gerrit-push after the cherry-pick. Thanks, Matt