[dashboard] allow editing user information

[svenefftinge]

Description

This change allows users to update their name, email and company name.
It also nudges users in the

workspaces view on the second day (or after) and then once a year.

Related Issue(s)

Fixes #10999

How to test

Use the preview env,

• create a new user
• verify you don't get nudged (no modal) on /workspaces
• set system time to yesterday and reload page. You should now see a modal.
• either update your profile or simply close the modal (cancel or close).
• reload page, you should not see the modal anymore (only after one year, which you can verify again by setting your system date)
• Check the settings page

Release Notes

You can now update your profile information (name, email, company)

Documentation

Werft options:

• /werft with-preview

[werft-gitpod-dev-com]

started the job as gitpod-build-sefftinge-allow-user-profile-updates-10999.1 because the annotations in the pull request description changed
(with .werft/ from main)

[gtsiolis]

Looking at this now! 👀

[gtsiolis]

UX LAGTM (Looks Almost Good To Me)! Thanks, @svenefftinge!

Cross-posting a relevant issue in #3957 in case it can be also closed.

Left some minor comments below. We can open a follow-up issue for anything that can be skipped in this iteration.

[jldec]

LGTM - I think this is a good enhancement. A few comments.

• Users ask to change their avatar almost as often as their name. (followup feature?)

• Offering to change the name and email during sign-up flow is OK and may be a good opportunity to remind new users of our terms and privacy policy.

• I was unable to test (in preview) whether this modal is triggered when an additional git integration is added through settings/integrations. Generally adding an integration should not result in modification of this information.

• Including the hints for how to set env vars to override git email/author/committer is helpful, and I would not remove it.

/hold for more technical engineering review

[jldec]

Followup: I managed to test adding an integration using a non-incognito window, and it did not prompt for profile changes - so all good.

(The error I saw earlier when trying to add an integration was using a preview environment from an incognito window.)

[gtsiolis]

Left one more round of comments, mostly non-blocking. 🥊
Thanks for tackling all these in one step! 🙏

[gtsiolis]

Keeping the hold in case we'd like to:
1. Fix one outstanding UX issue mentioned in #11023 (comment).
2. Ask for another pair of eyes to take a closer look at the code changes. Cc @geropl

[geropl]

/werft run

👍 started the job as gitpod-build-sefftinge-allow-user-profile-updates-10999.9
(with .werft/ from main)

[geropl]

@svenefftinge From the issues I don't understand how urgent this is. I feel we have a good opportunity to nicely solve our handling of email addresses if we delay it until end of next week and ask @AlexTugarev to clean it up beforehand (sth he's keen on for some time already, but ooo this week).
If the temporary gap is fine we can merge as-is, though, and I will ask him to do it anyway afterwards.

[svenefftinge]

/werft run

👍 started the job as gitpod-build-sefftinge-allow-user-profile-updates-10999.10
(with .werft/ from main)

[svenefftinge]

@geropl I have addressed the two nits and left a comment on the other feedback. I'd like to land this as it unblocks @phimae's work on the lead identification.

[geropl]

Code LGTM, tested and works 👍