Describe the need

We'd like a new resource github_user_email for adding and removing email addresses to the github user we use as a service account for CI/CD. Basically each environment and project has an email associated with a cloud provider service account. Those pipeline runs sign commits as that email address, so we'd like to be able to dynamically add and remove email addresses to the Github Bot user whever we are adding and removing GPG keys.

Example use with a generic cloud provider service account:

data "cloud_provider_service_account" "example" {
  name = "myenvironment@myproject.iam.mycloudprovider.com"
}

resource "github_user_gpg_key" "example" {
  armored_public_key = cloud_provider_service_account.example.public_key
}

resource "github_user_email" "example" {
  email_address = cloud_provider_service_account.example.name
}

SDK Version

No response

API Version

No response

Relevant log output

No response

Code of Conduct

• I agree to follow this project's Code of Conduct