Identity

A user’s real name and email are declared once, and every identity-aware tool — git, mail — reads them from there. They start empty, and a feature that needs an identity turns them into a requirement.

Example

user = {
  fullname = "Ada Lovelace";
  email = "ada@example.com";
};

user.identity.required is not set by hand. A feature that acts under the user’s identity — signing git commits, for one — sets it, and the build then insists the name and email are filled in.

Options

user.fullname
user.email
user.identity.required — set by features that need an identity, not by hand