Skip to content

Use repo username

Gert Wollny requested to merge use-repo-username into master

Hi,

I've added some code that makes it possible to use an email different from the globally stored git user.email.

With deqp_submit.py one can add the option --email and this is then stored in the results repo and later used to define the results directory. This is useful when one has to manage more than one git email.

best, Gert

Edited by Gert Wollny

Merge request reports