The time on my development machine is wrong (a few minutes behind). Therefore I got this history:
As you can see t he commit has an earlier date/time, but is a later commit. However, the build server sees the pull request merge as latest change (and thus builds that one instead of the latest commit). After doing a dummy (whitespace) commit with a later timestamp, everything works again as expected.