github :: PushEvent :: head_commit
SHA of the HEAD commit on the repository.github :: PushEvent :: head_commit=
SHA of the HEAD commit on the repository.github $ PushEvent :: core_serialize_to
Actual serialization ofself to serializer
			github $ PushEvent :: from_deserializer
Create an instance of this class from thedeserializer
			serialization :: Serializable :: accept_json_serializer
Refinable service to customize the serialization of this class to JSONserialization :: Serializable :: accept_msgpack_attribute_counter
Hook to customize the behavior of theAttributeCounter
			serialization :: Serializable :: accept_msgpack_serializer
Hook to customize the serialization of this class to MessagePackgithub :: GithubEvent :: action=
Action performed by the event.serialization :: Serializable :: add_to_bundle
Called by[]= to dynamically choose the appropriate method according
			core :: Object :: class_factory
Implementation used byget_class to create the specific class.
			serialization :: Serializable :: core_serialize_to
Actual serialization ofself to serializer
			core :: Object :: defaultinit
github :: GithubEvent :: defaultinit
serialization :: Serializable :: from_deserializer
Create an instance of this class from thedeserializer
			github :: PushEvent :: head_commit
SHA of the HEAD commit on the repository.github :: PushEvent :: head_commit=
SHA of the HEAD commit on the repository.core :: Object :: is_same_instance
Return true ifself and other are the same instance (i.e. same identity).
			core :: Object :: is_same_serialized
Isself the same as other in a serialization context?
			core :: Object :: is_same_type
Return true ifself and other have the same dynamic type.
			serialization :: Serializable :: msgpack_extra_array_items
Hook to request a larger than usual metadata arraycore :: Object :: output_class_name
Display class name on stdout (debug only).serialization :: Serializable :: serialize_msgpack
Serializeself to MessagePack bytes
			serialization :: Serializable :: serialize_to
Serializeself to serializer
			serialization :: Serializable :: serialize_to_json
Serializeself to JSON
			serialization :: Serializable :: to_pretty_json
Serializeself to plain pretty JSON
			Serializer::serialize
			
# Triggered when a repository branch is pushed to.
class PushEvent
	super GithubEvent
	serialize
	# SHA of the HEAD commit on the repository.
	var head_commit: Commit is writable
	# Full Git ref that was pushed.
	#
	# Example: “refs/heads/master”
	var ref: String is writable
	# Number of commits in the push.
	var size: nullable Int is writable
	# Array of pushed commits.
	var commits = new Array[Commit] is writable, optional
end
					lib/github/events.nit:199,1--217,3