Open david-alpert-nl opened 1 year ago
Hi @david-alpert-nl, thank you for quoting me.
For the moment, you can use my modified action.
- name: Create pull request
uses: jacopocarlini/action-pull-request-another-repo@main
env:
API_TOKEN_GITHUB: ${{ secrets.API_TOKEN_GITHUB }}
with:
allow_force_push: 'true'
...
I hope this PR will be merged soon
when I reran this action against an open PR it failed with this error message
In our use case we would want this to force-update if it changes before we get it merged in the downstream repo.
It looks like this is already addressed by @jacopocarlini in #19
could we get PR that merged please?