Merge updates into results to avoid divergent branches

[paulzierep]

The jobs often fail with

hint: Updates were rejected because the tip of your current branch is behind
hint: its remote counterpart. If you want to integrate the remote changes,
hint: use 'git pull' before pushing again.
hint: See the 'Note about fast-forwards' in 'git push --help' for details.

This is probably because another jobs pushes to results first.
Pulling results again before the push should solve it.