If I submit a pull, then I push some commits, then some more... if the job for this pull hasn't started, don't queue up a new one.