[pbiggar]

I was unclear, sorry. You can't tell what pushes have occurred in the past from a git repo, but you can with the GitHub API.