Is there a way to have git user name/email automatically set?

[felladrin]

Every time we open a new instance of run-gp, git config user.name and git config user.email are empty, preventing us from committing changes before setting them up.

Is there currently a way to have them set automatically?

If not, it could do one of these things:

• pick automatically from the host machine during the container startup.
• make use of env vars like in https://www.gitpod.io/docs/environment-variables/ by:
  • allowing us to load environment variables from a .env file (path provided via argument or found in $(run-gp config path)).
  • allowing us to pass env vars as an argument to run-gp.
  • picking from the host machine based on when the env var starts with GITPOD_ENV_SET_.