github/developer.github.com — pull request #172 by jspahrsummers (2012-11-12 20:10:43+00:00)
Title: Document 'distinct' field on PushEvent commits

[Rendered Markdown](https://github.com/github/developer.github.com/blob/pushevent-commits-distinct/content/v3/activity/events/types.md#pushevent)