tree f4bc49f613d0f5d0f21972d13e5bc91408b2efde
parent c0638a20099c78d61e36ab41198118ce4c3084a8
author Marc Kupietz <kupietz@ids-mannheim.de> 1764247756 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1764406380 +0100

Set user explicitly for gerrit communication in gh import prs

Change-Id: Ic8f31e39e7f27600c9fd9a1c6f4ac5082708b457