Number of commits in the push.

Property definitions

github $ PushEvent :: size
	# Number of commits in the push.
	var size: nullable Int is writable
lib/github/events.nit:212,2--213,35