I have webhooks set up from Github for both pushes and PRs. Just now when I pushed a change to Github two unusual things happened. First, for the first time ever, the PR build started first and then the push build. Second, both builds have the same build number.
I’ll add a screenshot if I can figure out how to do it.