Property definitions

github $ DeploymentEvent :: defaultinit
# Triggered when a new snapshot is deployed.
#
# Deployement are mainly used with integration testing servers.
class DeploymentEvent
	super GithubEvent
	serialize

	# Commit SHA for which this deployment was created.
	var sha: String is writable

	# Name of repository for this deployment, formatted as :owner/:repo.
	var name: String is writable

	# Optional extra information for this deployment.
	var payload: nullable String is writable

	# Optional environment to deploy to.
	# Default: "production"
	var environment: nullable String is writable

	# Optional human-readable description added to the deployment.
	var description: nullable String is writable
end
lib/github/events.nit:80,1--102,3