Fixed bug preventing some force push events from triggering a build

We fixed a bug that caused pipelines not to be triggered on force push events that reset the branch or tag to an older commit in the commit history.
This bug only affected GitHub App pipelines.