[BLUEJ-594] Add user name and user e-mail to local Git repository
When cloning a new repository using Git, user information is not being stored. This information is useful for when the uploading changes to a remote server.
Issue metadata
- Issue type: Sub-task
- Priority: Medium
- Parent issue: [BLUEJ-363] Git support
- Fix versions: 4.0.0preview