travis-ci/travis-core — pull request #264 by drogus (2013-10-09 13:12:22+00:00)
Title: If commits are not present in a push event, build head_commit

When a branch is pushed with a HEAD commit, which already exists on
github, a push event will not contain commits info, so we nead to use
head_commit, in order to get commit info.