jenkinsci/ghprb-plugin — pull request #18 by ddub (2013-11-08 17:49:35+00:00)
Title: Feature: Cancel pending builds for this pull request

The intent is to not start builds that are not the tip of the pull request, useful for builds which take a long time to run.