Use repo username
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