Discard out-of-order push events from github

Github can sometimes send out of order push events from a repository, discarding these events through some sort of detection on spacelifts end or giving folks the ability to detect this in some capacity through a push policy to prevent duplicate runs is important.