git push to branch to trigger build

Question

In the team I am working in, we have automatic builds triggered every time we make a pull request. However this build expires in a set time, before someone can approve the request, thus rendering it unable to be completed. Usually, the way to fix it is to fetch develop and rebase, but what happens when there are no new changes in develop? Is there a way to push again to my branch (update the pull request) without making changes?

$ git push origin feature/branch -f
Everything up-to-date

Answer 1

You could try git commit --allow-empty -m "Dummy commit to trigger something"; git push.