GitHubEventsConfig constructor

const GitHubEventsConfig({ Input<String>? enterpriseConfigResourceName, Input<String>? installationId, Input<String>? name, Input<String>? owner, Input<PullRequestFilter>? pullRequest, Input<PushFilter>? push, })

Creates a new GitHubEventsConfig. enterpriseConfigResourceName Optional. The resource name of the github enterprise config that should be applied to this installation. For example: "projects/{$project_id}/locations/{$location_id}/githubEnterpriseConfigs/{$config_id}" installationId The installationID that emits the GitHub event. name Name of the repository. For example: The name for https://github.com/googlecloudplatform/cloud-builders is "cloud-builders". owner Owner of the repository. For example: The owner for https://github.com/googlecloudplatform/cloud-builders is "googlecloudplatform". pullRequest filter to match changes in pull requests. push filter to match changes in refs like branches, tags.

Implementation

const GitHubEventsConfig({
  this.enterpriseConfigResourceName,
  this.installationId,
  this.name,
  this.owner,
  this.pullRequest,
  this.push,
});