travis-ci/travis-core — pull request #61 by dvyjones (2012-05-20 13:11:11+00:00)
Title: When receiving a push from GitHub, use the last non-skipped commit

Fixes #553.

I don't like the duplication of code that this introduces, but this is probably the easiest way to fix this.