But what if the other PR is waiting for this one? How did we define the synchronisation?