Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • D deqp_runner
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Merge requests 1
    • Merge requests 1
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Commits
Collapse sidebar
  • virgl-es
  • deqp_runner
  • Merge requests
  • !1

Use repo username

  • Review changes

  • Download
  • Email patches
  • Plain diff
Closed Gert Wollny requested to merge use-repo-username into master May 02, 2018
  • Overview 6
  • Commits 5
  • Changes 2

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 May 02, 2018 by Gert Wollny
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: use-repo-username