So the answer is that the workflow is correct, but after it is triggered and executed, and before any other commit is pushed to the repo, the user has to manually pull from the remote branch (or do push -f which is not advisable). There is no other way to do it. Is this correct?