Property definitions

github $ DeleteEvent :: defaultinit
# Triggered when a branch or a tag is deleted.
class DeleteEvent
	super GithubEvent
	serialize

	# Object type that was deleted.
	#
	# Can be one of `repository`, `branch`, or `tag`.
	var ref_type: String is writable

	# Git ref (or null if only a repository was deleted).
	var ref: String is writable
end
lib/github/events.nit:66,1--78,3