Identity feature

[fcollonval]

Fixes #351 and will imply simplification in #345.

User changes

If the user has no user.name and no user.email defined in Git global configuration, the GitPanel will be replaced by a warning and a button prompting the user for a name and an email.

If the user provides them, they will be added as global configuration options in git. Then the extension will behave as previously.

Note;

• The email is not verified to be a valid email string
• If the user removes his identity after opening JupyterLab (very unlikely), the extension is never checking again if an identity is set.

Backward incompatibilities

None

[jaipreet-s]

Thanks for this. Based on a quick look, this will disable all of the Git panel functionality and replace it with this error message if theres no identity set. Now, the username/email is not required till the user starts to commit the information, so disabling the "changed/staged" view, and history view, and the upcoming diff functionality seems heavy for not having a username/email set.

My suggestion would be would be to delay this check till the user goes to commit the the information

[fcollonval]

Thanks for the feedback @jaipreet-s.

Indeed the current approach is disabling the main panel. I'll update it following your suggestion to check once and only once at the first commit attempt.
Does that sounds better?

[jaipreet-s]

That sounds great! I'll also engage @weihwang to have a look at the username/email popup wording/UX.

[fcollonval]

@jaipreet-s does it look better?

[mathematicalmichael]

This is a great idea!
Am I right in interpreting that it first checks for local user info, then global, if missing?
Then sets local if so.

Do these changes to .git/config migrate upon push?

[jaipreet-s]

@fcollonval This looks great.

Looks like there is one merge conflict and an unrelated Travis CI failure though

[fcollonval]

@jaipreet-s I finally overcome the CI error. Could you please have a look?